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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Libristo-Code: 50123032
Verlag Springer, Berlin, März 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Vollständige Beschreibung
? points 195 b Neu Neu
79.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Buch Hardcover
common.buy 13.00 €
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Kalender/Terminbuch Terminbuch
common.buy 11.19 €
Ce que le corps révèle vraiment de vous Claudine Biland Buch Broschur
common.buy 30.99 €

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

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 Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2026
Anzahl der Seiten 434
EAN 9783032156990
Libristo-Code 50123032
Verlag Springer, Berlin
Gewicht 651
Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
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

Das könnte Sie auch interessieren

Hundred Decker Rocket SMITH MIKE / Buch Broschur
common.buy 10.29 €
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Buch Hardcover
common.buy 37.49 €
Desolation Sound Heather Harbord / Buch Broschur
common.buy 29.09 €
School of Udhra Nathaniel Mackey / Buch Broschur
common.buy 13.49 €
Visualization Analysis and Design Tamara Munzner / Buch Hardcover
common.buy 98.09 €
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Buch Hardcover
common.buy 22.39 €
The Random Universe JAFFE ANDREW H / Buch Hardcover
common.buy 26.19 €
Vinyl NYC Hattie Lindert / Buch Hardcover
common.buy 33.09 €
Voiceless SABITH MOHAMMED / Buch Broschur
common.buy 13.19 €
The Purposeful Argument Patricia Bostian / Buch Broschur
common.buy 131.09 €

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?