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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Verification

Name: Software Verification
Brand: Springer Nature Switzerland AG
SKU: 38505070
Price: 56.61 EUR
Availability: InStock
Author: Roderick Bloem
ISBN: 9783030955601

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Sprache

Englisch

Buch Broschur

Libristo-Code: 38505070

Verlag Springer Nature Switzerland AG, Februar 2022

This book constitutes the refereed proceedings of the 13th International Conference on Verified Soft... Vollständige Beschreibung

Libristo-Code: 38505070

137 b

56.61 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Denti bianchi Zadie Smith

Broschur

25.12 €

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

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 Software Verification

Autor Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2022

Anzahl der Seiten 197

EAN 9783030955601

Libristo-Code 38505070

Verlag Springer Nature Switzerland AG

Gewicht 332

Abmessungen 155 x 235 x 12

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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