Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 50123032
Price: 80.27 EUR
Availability: InStock
Author: Yu-Fang Chen
ISBN: 9783032156990

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Yu-Fang Chen

Thomas Philip Jensen

Ondrej Lengál

Език

Английски език

Книга С меки корици

Код Либристо: 50123032

Издателство Springer, Berlin, март 2026

This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Цялото описание

Код Либристо: 50123032

195 b

Нови

80.27 €

157.00 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck

С твърди корици

11.82 € 23.11 лв

Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti

Тефтер

11.30 € 22.10 лв

Ce que le corps révèle vraiment de vous Claudine Biland Книга

С меки корици

31.28 € 61.18 лв

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.