Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

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

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Sharon Shoham
Libristo code: 39439333
Publishers Springer International Publishing AG, August 2022
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Full description
? points 109 b
16 540 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Psychische Gewalt in der Erziehung Katharina Hofer / Book Paperback
common.buy 5 811 Ft
Elven Anna Fiske / Book Hardback
common.buy 18 517 Ft
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Book Paperback
common.buy 5 677 Ft
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Book Paperback
common.buy 1 766 Ft
New
Auxilia - Heavenly flames and infernal desires Whisper Publishing / Book Paperback
common.buy 7 212 Ft
Mujeres del Nuevo Testamento Pia Septien / Book Paperback
common.buy 3 714 Ft
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Book Paperback
common.buy 20 571 Ft
Fuhrungsinformationen aus dem World Wide Web Maik Discher / Book Paperback
common.buy 13 680 Ft
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Book Paperback
common.buy 10 437 Ft
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Book Paperback
common.buy 24 573 Ft
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Book Paperback
common.buy 12 980 Ft
Personenschutz - kompakt und effektiv Steve Tompson / Book Hardback
common.buy 32 226 Ft
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Book Paperback
common.buy 26 857 Ft
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Book Paperback
common.buy 4 395 Ft
Wenn dies die Zeit ist Vladimir Zarev / Book Hardback
common.buy 6 890 Ft
La vuelta al mundo en 80 días Jules Verne / Book Paperback
common.buy 4 626 Ft
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Book Paperback
common.buy 11 823 Ft
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Book Paperback
common.buy 5 417 Ft
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Book Paperback
common.buy 6 511 Ft
Top
Paul, Lisa & Co. Monika Bovermann / Book Paperback
common.buy 3 988 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer Aided Verification
Author Sharon Shoham, Yakir Vizel
Language English
Binding Book - Paperback
Date of issue 2022
Number of pages 549
EAN 9783031131875
Libristo code 39439333
Publishers Springer International Publishing AG
Weight 866
Dimensions 155 x 235 x 31

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Women in Sports Amelia S Halloway / Book Hardback
common.buy 70 205 Ft
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Book Paperback
common.buy 13 939 Ft
Top
Demon in the Wood Leigh Bardugo / Book Hardback
common.buy 7 092 Ft
Transgenic Crop Plants Albert G. Abbott / Book Paperback
common.buy 82 288 Ft
One Piece, Vol. 76 Eiichiro Oda / Book Paperback
common.buy 3 820 Ft
Aquaculture John S. Lucas / Book Hardback
common.buy 46 501 Ft
River Sandy Stream / Book Paperback
common.buy 6 084 Ft
History of Europe During the French Revolution Archibald Alison / Book Hardback
common.buy 18 167 Ft
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Book Hardback
common.buy 15 552 Ft
Islands of the Damned R. V. Burgin / Book Paperback
common.buy 6 406 Ft
Top
Better Than the Movies Lynn Painter / Book Paperback
common.buy 4 304 Ft
Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson / Book Paperback
common.buy 10 254 Ft
Top
The Hating Game Sally Thorne / Book Paperback
common.buy 4 141 Ft
Black Box Captain Terrance W MacDonald / Book Paperback
common.buy 7 121 Ft
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Book Hardback
common.buy 61 746 Ft
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Book Paperback
common.buy 3 407 Ft
Blood Surfer Debra Jess / Book Paperback
common.buy 6 267 Ft
Help Me! Guide to the Apple Watch: Step-by-Step User Guide for Apple's First Generation Smartwatch Charles Hughes / Book Paperback
common.buy 3 407 Ft
I, Siglavy LISBETH ASAY / Book Paperback
common.buy 5 432 Ft
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Book Paperback
common.buy 19 721 Ft
Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward / Book Paperback
common.buy 16 694 Ft
Grail of the Secret Sun Jadson Resende / Book Paperback
common.buy 4 107 Ft
Stranger Things: Suspicious Minds Gwenda Bond / Book Paperback
common.buy 4 290 Ft
Oracle of the 7 Energies Colette Baron-Reid / Printed items Cards
common.buy 9 371 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account