Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 39439333

Verlag Springer International Publishing AG, August 2022

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Vollständige Beschreibung

Libristo-Code: 39439333

105 b

43.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

39.99 €

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

Broschur

5.29 €

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

Broschur

15.95 €

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

Broschur

14.69 €

Elven Anna Fiske

Hardcover

36.39 €

Psychische Gewalt in der Erziehung

Broschur

15.95 €

LEGO Ninjago (CD 46)

Audio CD

7.49 €

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

Broschur

69.09 €

Wenn dies die Zeit ist Vladimir Zarev

Hardcover

19.00 €

Paul, Lisa & Co. Monika Bovermann

Broschur

12.50 €

Fuhrungsinformationen aus dem World Wide Web Maik Discher

Broschur

38.00 €

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

Broschur

28.90 €

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

Broschur

17.95 €

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

Broschur

64.99 €

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

Broschur

36.89 €

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

Broschur

14.19 €

Personenschutz - kompakt und effektiv Steve Tompson

Hardcover

89.90 €

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

Broschur

33.29 €

La vuelta al mundo en 80 días Jules Verne

Broschur

13.09 €

Mujeres del Nuevo Testamento Pia Septien

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer Aided Verification

Autor Sharon Shoham, Yakir Vizel

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2022

Anzahl der Seiten 549

EAN 9783031131875

Libristo-Code 39439333

Verlag Springer International Publishing AG

Gewicht 866

Abmessungen 155 x 235 x 31

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert