Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Sprache EnglischEnglisch
E-Book Adobe ePub DRM
E-Book Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Libristo-Code: 41004231
Verlag Springer, Jänner 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Vollständige Beschreibung
? points 241 b
98.39 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Das könnte Sie auch interessieren

Java Cryptography Extensions Jason Weiss / Buch Broschur
common.buy 38.89 €
Jonathan's Angel: an Unimaginable Love Story Jennie Lynne Colmer / Buch Broschur
common.buy 13.59 €
Analytical Reader William Alexander Parsons Martin / Buch Broschur
common.buy 19.69 €
Haunting of Joliet Prison Ursula Bielski / Buch Broschur
common.buy 20.49 €
BRS Behavioral Science Barbara Fadem / Buch Broschur
common.buy 57.29 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification, Model Checking, and Abstract Interpretation
Autor Dirk Beyer, Damien Zufferey
Sprache Englisch
Einband E-Book - Adobe ePub DRM
Datum der Veröffentlichung 2020
EAN 9783030393229
Libristo-Code 41004231
Verlag Springer

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?