Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Sharon Shoham
Код Либристо: 39439333
Издателство Springer International Publishing AG, август 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Цялото описание
? points 105 b
43.23 €
84.55  лв
Външен склад Изпращаме след 5-8 дни

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

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

Psychische Gewalt in der Erziehung Katharina Hofer / Книга С меки корици
common.buy 15.12 € 29.58 лв
Elven Anna Fiske / Книга С твърди корици
common.buy 52.67 € 103.01 лв
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Книга С меки корици
common.buy 14.82 € 28.98 лв
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Книга С меки корици
common.buy 4.87 € 9.52 лв
Auxilia - Heavenly flames and infernal desires Whisper Publishing / Книга С меки корици
common.buy 18.82 € 36.82 лв
Mujeres del Nuevo Testamento Pia Septien / Книга С меки корици
common.buy 9.07 € 17.74 лв
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Книга С меки корици
common.buy 37.49 € 73.32 лв
Fuhrungsinformationen aus dem World Wide Web Maik Discher / Книга С меки корици
common.buy 35.64 € 69.71 лв
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Книга С меки корици
common.buy 27.24 € 53.28 лв
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Книга С меки корици
common.buy 64.16 € 125.48 лв
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Книга С меки корици
common.buy 36.82 € 72.01 лв
Personenschutz - kompakt und effektiv Steve Tompson / Книга С твърди корици
common.buy 84.00 € 164.30 лв
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Книга С меки корици
common.buy 68.72 € 134.40 лв
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Книга С меки корици
common.buy 12.61 € 24.67 лв
Wenn dies die Zeit ist Vladimir Zarev / Книга С твърди корици
common.buy 18.00 € 35.21 лв
La vuelta al mundo en 80 días Jules Verne / Книга С меки корици
common.buy 12.97 € 25.37 лв
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Книга С меки корици
common.buy 33.13 € 64.79 лв
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Книга С меки корици
common.buy 13.59 € 26.57 лв
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Книга С меки корици
common.buy 16.98 € 33.21 лв
Top
Paul, Lisa & Co. Monika Bovermann / Книга С меки корици
common.buy 10.71 € 20.95 лв

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

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

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

Пълно заглавие Computer Aided Verification
Автор Sharon Shoham, Yakir Vizel
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2022
Брой страници 549
Баркод 9783031131875
Код Либристо 39439333
Издателство Springer International Publishing AG
Тегло 866
Размери 155 x 235 x 31

Категории

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

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

Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Книга С меки корици
common.buy 35.28 € 69.00 лв
Top
Demon in the Wood Leigh Bardugo / Книга С твърди корици
common.buy 19.13 € 37.41 лв
Transgenic Crop Plants Albert G. Abbott / Книга С меки корици
common.buy 214.99 € 420.49 лв
Top
One Piece, Vol. 76 Eiichiro Oda / Книга С меки корици
common.buy 10.30 € 20.15 лв
Aquaculture John S. Lucas / Книга С твърди корици
common.buy 127.65 € 249.66 лв
River Sandy Stream / Книга С меки корици
common.buy 14.87 € 29.08 лв
History of Europe During the French Revolution Archibald Alison / Книга С твърди корици
common.buy 45.40 € 88.80 лв
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Книга С твърди корици
common.buy 38.89 € 76.06 лв
Islands of the Damned R. V. Burgin / Книга С меки корици
common.buy 15.64 € 30.58 лв
Top
Better Than the Movies Lynn Painter / Книга С меки корици
common.buy 12.30 € 24.06 лв
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Книга С меки корици
common.buy 28.25 € 55.26 лв
Top
The Hating Game Sally Thorne / Книга С меки корици
common.buy 10.71 € 20.95 лв
Black Box Captain Terrance W MacDonald / Книга С меки корици
common.buy 19.43 € 38.01 лв
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Книга С твърди корици
common.buy 161.35 € 315.56 лв
Top
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Книга С меки корици
common.buy 8.56 € 16.74 лв
Blood Surfer Debra Jess / Книга С меки корици
common.buy 15.64 € 30.58 лв
Help Me! Guide to the Apple Watch: Step-by-Step User Guide for Apple's First Generation Smartwatch Charles Hughes / Книга С меки корици
common.buy 8.46 € 16.55 лв
I, Siglavy LISBETH ASAY / Книга С меки корици
common.buy 13.59 € 26.57 лв
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Книга С меки корици
common.buy 51.38 € 100.50 лв
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Книга С меки корици
common.buy 41.71 € 81.57 лв
Grail of the Secret Sun Jadson Resende / Книга С меки корици
common.buy 10.25 € 20.05 лв
Stranger Things: Suspicious Minds Gwenda Bond / Книга С меки корици
common.buy 11.48 € 22.46 лв
Top
Oracle of the 7 Energies Colette Baron-Reid / Печатни материали Карти
common.buy 23.54 € 46.03 лв
Top
Braiding Sweetgrass Robin Wall Kimmerer / Книга С меки корици
common.buy 13.64 € 26.67 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?