Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 39439333

Založba Springer International Publishing AG, avgust 2022

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Celoten opis

Koda Libristo: 39439333

95 b

39.19 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Mehka

33.72 €

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

Mehka

4.24 €

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Mehka

13.26 €

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

Mehka

13.46 €

Elven Anna Fiske

Trda

29.26 €

Psychische Gewalt in der Erziehung

Mehka

13.56 €

LEGO Ninjago (CD 46)

Zvočni CD

6.67 €

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

Mehka

63.90 €

Wenn dies die Zeit ist Vladimir Zarev

Trda

16.09 €

Paul, Lisa & Co. Monika Bovermann

Mehka

9.11 €

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Mehka

32.00 €

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

Mehka

24.40 €

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

Mehka

15.28 €

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Mehka

57.92 €

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

Mehka

31.79 €

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

Mehka

13.06 €

Personenschutz - kompakt und effektiv Steve Tompson

Trda

75.45 €

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

Mehka

29.46 €

La vuelta al mundo en 80 días Jules Verne

Mehka

11.43 €

Mujeres del Nuevo Testamento Pia Septien

Mehka

8.60 €

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.