Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Код Либристо: 38504817
Издателство Springer Nature Switzerland AG, януари 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Цялото описание
? points 237 b
97.87 €
191.42  лв
Външен склад Изпращаме след 5-8 дни

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

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

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Книга С меки корици
common.buy 8.90 € 17.41 лв
Lo que debe saber todo buen republicano Anónimo / Книга С меки корици
common.buy 16.57 € 32.40 лв
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Книга С меки корици
common.buy 16.93 € 33.11 лв
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Книга С твърди корици
common.buy 73.58 € 143.91 лв
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Книга С меки корици
common.buy 19.36 € 37.87 лв
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Книга С твърди корици
common.buy 51.57 € 100.87 лв
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Книга С твърди корици
common.buy 63.38 € 123.96 лв
Der tolle Bomberg, 1 DVD Rolf Thiele / Видео DVD
common.buy 22.83 € 44.66 лв
Le préfet et les collectivités Sut / Книга С меки корици
common.buy 85.49 € 167.21 лв

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Bernd Finkbeiner, Thomas Wies
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2022
Брой страници 520
Баркод 9783030945824
Код Либристо 38504817
Издателство Springer Nature Switzerland AG
Тегло 807
Размери 155 x 235 x 29

Категории

Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Книга С твърди корици
common.buy 162.91 € 318.63 лв
Top
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Книга С меки корици
common.buy 15.79 € 30.88 лв
Joy of Basketball Andrew Kuo / Книга С твърди корици
common.buy 22.68 € 44.35 лв
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Книга С меки корици
common.buy 24.80 € 48.51 лв
Zombies vs. Robots 2 Joe Cautilli / Книга С меки корици
common.buy 15.74 € 30.78 лв
STORY OF THE 2ND WW Henry Steele Commager / Книга С меки корици
common.buy 17.24 € 33.72 лв
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Книга С меки корици
common.buy 12.22 € 23.89 лв
Neufs Vies Du Chat Montezuma Michael Morpurgo / Книга С меки корици
common.buy 9.73 € 19.03 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo