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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 100 b
41.36 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top
Paul, Lisa & Co. Monika Bovermann / Book Paperback
common.buy 10.21 €
Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara / Book Paperback
common.buy 4.74 €
MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve / Book Paperback
common.buy 14.05 €
Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo / Book Paperback
common.buy 14.15 €
Psychische Gewalt in der Erziehung / Book Paperback
common.buy 14.46 €
LEGO Ninjago (CD 46) / Audio Audio CD
common.buy 7.27 €
Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy / Book Paperback
common.buy 66.85 €
Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann / Book Paperback
common.buy 35.70 €
Wenn dies die Zeit ist Vladimir Zarev / Book Hardback
common.buy 17.19 €
Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos / Book Paperback
common.buy 32.06 €
Fuhrungsinformationen aus dem World Wide Web Maik Discher / Book Paperback
common.buy 33.98 €
Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon / Book Paperback
common.buy 25.89 €
Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand / Book Paperback
common.buy 61.29 €
Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth / Book Paperback
common.buy 35.50 €
Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf / Book Paperback
common.buy 16.18 €
Personenschutz - kompakt und effektiv Steve Tompson / Book Hardback
common.buy 80.01 €
Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A / Book Paperback
common.buy 13.65 €
Mujeres del Nuevo Testamento Pia Septien / Book Paperback
common.buy 9.20 €
La vuelta al mundo en 80 días Jules Verne / Book Paperback
common.buy 12.53 €

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 180.66 €
Blood Surfer Debra Jess / Book Paperback
common.buy 15.77 €
Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank / Book Paperback
common.buy 29.63 €
Black Box Captain Terrance W MacDonald / Book Paperback
common.buy 21.23 €
Transgenic Crop Plants Albert G. Abbott / Book Paperback
common.buy 205.74 €
Top
One Piece, Vol. 76 Eiichiro Oda / Book Paperback
common.buy 9.80 €
Aquaculture John S. Lucas / Book Hardback
common.buy 129.98 €
History of Europe During the French Revolution Archibald Alison / Book Hardback
common.buy 45.81 €
Harry Potter Colouring Book neuvedený autor / Book Paperback
common.buy 10.41 €
Islands of the Damned R. V. Burgin / Book Paperback
common.buy 15.77 €
Top
The Hating Game Sally Thorne / Book Paperback
common.buy 10.11 €
Affordable
NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson / Book Paperback
common.buy 5.76 €
Documentary History of the State of Maine, Volume 12 Maine Historical Society / Book Hardback
common.buy 39.24 €
I, Siglavy LISBETH ASAY / Book Paperback
common.buy 13.75 €
Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada / Book Paperback
common.buy 48.95 €
Top
Stranger Things: Suspicious Minds Gwenda Bond / Book Paperback
common.buy 10.41 €
Top
Braiding Sweetgrass Robin Wall Kimmerer / Book Paperback
common.buy 12.23 €
Top
Oracle of the 7 Energies Colette Baron-Reid / Printed items Cards
common.buy 23.15 €
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 42.07 €
Data-Driven Mining, Learning and Analytics for Secured Smart Cities Mamoun Alazab / Book Hardback
common.buy 154.36 €
Top
Better Than the Movies Lynn Painter / Book Paperback
common.buy 10.61 €
Top
Demon in the Wood Leigh Bardugo / Book Hardback
common.buy 15.97 €
Ultimate Hits - 2 CD Rod Stewart / Audio Audio CD
common.buy 17.59 €
Biography Nigel Hamilton / Book Paperback
common.buy 31.65 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?