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

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Constantin Enea
Libristo-Code: 21040880
Verlag Springer Nature Switzerland AG, Januar 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 15.39 €
Top
One Piece Color Walk - Tome 09 Eiichiro Oda / Buch Broschur
common.buy 31.69 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Buch Hardcover
common.buy 25.49 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Buch Broschur
common.buy 17.09 €
Gefühle Wimmelbuch Alexandra Helm / Buch Leporello
common.buy 12.95 €
Football - The Ultimate Book Bernd Pohlenz / Buch Hardcover
common.buy 60.69 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Buch Broschur
common.buy 5.49 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Buch Broschur
common.buy 15.95 €
Kníhkupectvo nových začiatkov Jenny Colgan / Buch Hardcover
common.buy 22.89 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Buch Broschur
common.buy 24.19 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Buch Broschur
common.buy 80.29 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Buch Hardcover
common.buy 93.69 €
Zermatt / Buch Broschur
common.buy 13.49 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital Digital CD
common.buy 129.39 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Buch Broschur
common.buy 33.59 €
Correspondances D'Alger 1962 Didier Robert-Ales / Buch Broschur
common.buy 64.99 €
Mandy Birgit Zaczek / Buch Broschur
common.buy 5.89 €
Actividades de animación para la tercera edad Jacques Choque / Buch Broschur
common.buy 35.99 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Buch Broschur
common.buy 28.69 €
Contratiempos Kahane / Buch Broschur
common.buy 15.69 €
Schule für kleine Trommel Felix Dierkes / Buch Broschur
common.buy 37.39 €
Demnächst
FRE-SANS MASQUE Truda Rosenberg / Buch Broschur
common.buy 17.29 €
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Spiel/Spielzeug Spielzeug
common.buy 6.49 €
Polednice Plešatá palice H:o)nza Vojtko / Buch Broschur
common.buy 11.39 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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 Constantin Enea, Ruzica Piskac
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2019
Anzahl der Seiten 602
EAN 9783030112448
ISBN 3030112446
Libristo-Code 21040880
Verlag Springer Nature Switzerland AG
Gewicht 937
Abmessungen 155 x 235 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
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

Environmental Policymaking in an Era of Climate Change NOWLIN / Buch Broschur
common.buy 63.69 €
Advanced Python Programming DR. GABRIELE LANARO / Buch Broschur
common.buy 46.29 €
Swallow (NHB Modern Plays) Stef Smith / E-Book Adobe ePub DRM
common.buy 17.19 €
Top
Istanbul Bettany Hughes / Buch Broschur
common.buy 16.89 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Buch Broschur
common.buy 15.19 €
Concrete Roses Le'Taxione / Buch Broschur
common.buy 15.39 €
The Tragedy of Coriolanus: A Play William Shakespeare / Buch Broschur
common.buy 8.89 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Buch Hardcover
common.buy 34.79 €
Top
Demon in the Wood Leigh Bardugo / Buch Hardcover
common.buy 16.89 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Buch Hardcover
common.buy 31.79 €
City of Dusk Tara Sim / Buch Hardcover
common.buy 19.89 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Buch Broschur
common.buy 13.59 €
A Short History Of England (1917) G. K. Chesterton / Buch Broschur
common.buy 25.49 €
The Negroni Matt Hranek / Buch Hardcover
common.buy 16.59 €
LEGO Arduino Cookbook Grady Koch / Buch Broschur
common.buy 43.59 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Buch Broschur
common.buy 21.89 €
Cannabinoid Cookbook Daniel Green / Buch Hardcover
common.buy 28.19 €
Top
Nomadland Jessica Bruder / Video DVD
common.buy 9.29 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Buch Broschur
common.buy 12.29 €
What in the World? Look Again National Geographic Kids / Buch Hardcover
common.buy 13.89 €
Restless Souls Alisa Statman / Buch Broschur
common.buy 13.89 €
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Buch Broschur
common.buy 74.39 €
Nibbles: The Very Hungry Book Monster Emma Yarlett / Buch Broschur
common.buy 9.19 €
The Complete APA 7th Edition Guide Gregory Dixon / Buch Broschur
common.buy 14.19 €

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?