Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 39439333
Price: 43.09 EUR
Availability: InStock
Author: Sharon Shoham
ISBN: 9783031131875

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

Sharon Shoham

Yakir Vizel

Language

English

Book Paperback

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

Libristo code: 39439333

105 b

43.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann

Paperback

39.99 €

Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara

Paperback

4.99 €

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Paperback

15.95 €

Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo

Paperback

14.69 €

Elven Anna Fiske

Hardback

34.49 €

Psychische Gewalt in der Erziehung

Paperback

15.95 €

LEGO Ninjago (CD 46)

Audio CD

7.49 €

Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy

Paperback

69.09 €

Wenn dies die Zeit ist Vladimir Zarev

Hardback

19.00 €

Paul, Lisa & Co. Monika Bovermann

Paperback

12.50 €

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Paperback

38.00 €

Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon

Paperback

28.90 €

Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf

Paperback

17.95 €

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Paperback

64.99 €

Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth

Paperback

36.99 €

Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A

Paperback

14.19 €

Personenschutz - kompakt und effektiv Steve Tompson

Hardback

89.90 €

Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos

Paperback

33.29 €

La vuelta al mundo en 80 días Jules Verne

Paperback

13.09 €

Mujeres del Nuevo Testamento Pia Septien

Paperback

9.59 €

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.