Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 39439333
Price: 15864 HUF
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

109 b

15 864 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Paul, Lisa & Co. Monika Bovermann

Paperback

3 617 Ft

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

Paperback

1 694 Ft

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Paperback

5 445 Ft

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

Paperback

5 399 Ft

Psychische Gewalt in der Erziehung Katharina Hofer

Paperback

5 573 Ft

LEGO Ninjago (CD 46)

Audio CD

2 582 Ft

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

Paperback

25 322 Ft

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

Paperback

13 807 Ft

Wenn dies die Zeit ist Vladimir Zarev

Hardback

6 609 Ft

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

Paperback

11 340 Ft

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Paperback

13 121 Ft

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

Paperback

10 010 Ft

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Paperback

23 568 Ft

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

Paperback

12 550 Ft

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

Paperback

6 245 Ft

Personenschutz - kompakt und effektiv Steve Tompson

Hardback

30 909 Ft

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

Paperback

5 196 Ft

Mujeres del Nuevo Testamento Pia Septien

Paperback

3 562 Ft

La vuelta al mundo en 80 días Jules Verne

Paperback

4 437 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

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

You might also be interested in

Women in Sports Amelia S Halloway

Hardback

67 355 Ft

Blood Surfer Debra Jess

Paperback

6 011 Ft

Agricultural land redistribution and land administration in Sub-Saharan Africa World Bank

Paperback

12 302 Ft

Black Box Captain Terrance W MacDonald

Paperback

8 072 Ft

Transgenic Crop Plants Albert G. Abbott

Paperback

78 925 Ft

One Piece, Vol. 76 Eiichiro Oda

Paperback

3 461 Ft

Aquaculture John S. Lucas

Hardback

45 899 Ft

History of Europe During the French Revolution Archibald Alison

Hardback

17 424 Ft

Harry Potter Colouring Book neuvedený autor

Paperback

4 114 Ft

Islands of the Damned R. V. Burgin

Paperback

6 144 Ft

The Hating Game Sally Thorne

Paperback

3 972 Ft

NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson

Paperback

2 043 Ft

Documentary History of the State of Maine, Volume 12 Maine Historical Society

Hardback

14 916 Ft

I, Siglavy LISBETH ASAY

Paperback

5 210 Ft

Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada

Paperback

18 915 Ft

Stranger Things: Suspicious Minds Gwenda Bond

Paperback

4 114 Ft

Braiding Sweetgrass Robin Wall Kimmerer

Paperback

4 832 Ft

Oracle of the 7 Energies Colette Baron-Reid

Cards

8 988 Ft

Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward

Paperback

16 011 Ft