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

Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Libristo-Code: 09136925
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2014
This book constitutes the refereed proceedings of the 16th International Conference on Verification,... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Kein Makel um die Liberator Emmerich Nilson / Buch Broschur
common.buy 6.99 €
Verteidigung als Angriff Michael Multhammer / Buch Hardcover
common.buy 158.49 €
Modernitat ALS Paradox Birgit Hoock / Buch Hardcover
common.buy 145.89 €
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Buch Broschur
common.buy 14.19 €
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Buch Broschur
common.buy 70.89 €
Je m'habille - a.telier, emanuela collini Xxxxxxx Buch Buch
common.buy 6.49 €
Gruzínština konverzace collegium / Buch Broschur
common.buy 11.29 €
Gastronomie českého středověku Monika Černá-Feyfrlíková / Buch Broschur
common.buy 15.79 €
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Buch Hardcover
common.buy 44.29 €

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 468
EAN 9783662460801
ISBN 3662460807
Libristo-Code 09136925
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 7314
Abmessungen 155 x 235 x 25

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Migrant Passage Noelle Kateri Brigden / Buch Hardcover
common.buy 170.19 €
Alien Zone II Rick Kuhn / Buch Broschur
common.buy 30.39 €
Prosecuting Maritime Piracy Michael P. Scharf / E-Book Adobe ePub DRM
common.buy 60.89 €
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Buch Hardcover
common.buy 27.89 €
Society, Institutions, and Individuals David G Embrick / Buch Broschur
common.buy 149.89 €
What's What in America Eugene V. Brewster / Buch Broschur
common.buy 23.39 €
Flight of the Valkyrie K S Daniels / Buch Broschur
common.buy 13.59 €
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Buch Broschur
common.buy 10.09 €
Annabelle's Reading Log Martha Day Zschock / Buch Hardcover
common.buy 16.49 €
New Wine T a Prickett / Buch Broschur
common.buy 13.79 €
West Dorset Guide Book / Buch Broschur
common.buy 7.99 €
Political History of Spanish José Del Valle / Buch Broschur
common.buy 57.89 €
Modern Leadership Development and Excellence DR.S.K. BABOOA / Buch Broschur
common.buy 17.09 €
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Buch Broschur
common.buy 16.19 €
Just Solution Stephen Yearwood / Buch Broschur
common.buy 15.39 €
Two Days of Doubt Cort / Buch Broschur
common.buy 14.29 €

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?