[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Verification, Model Checking, and Abstract Interpretation

Sprache EnglischEnglisch
Buch Broschur
Buch Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Libristo-Code: 01571263
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Vollständige Beschreibung
? points 161 b
64.15 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

The Rising Kelley Armstrong / Broschur
common.buy 11.09 €
Between Facts and Norms - Contributions to a Discourse Theory of Law and Democracy Jürgen Habermas / Broschur
common.buy 31.06 €
Level 5: On the Road Jack Kerouac / Broschur
common.buy 14.31 €
Pověsti Čech, Moravy a Slezska August Sedláček / Hardcover
common.buy 7.35 €
Frightened Kitten Holly Webb / Broschur
common.buy 7.15 €
Das Orakel vom Berge Philip K. Dick / Broschur
common.buy 10.08 €
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / Broschur
common.buy 14.62 €
Writing Around the World Matthew McCool / Hardcover
common.buy 252.18 €
Quantifizierung Operationeller Risiken Christian Bohlender / Broschur
common.buy 49.43 €
Israel Jack Altman / Broschur
common.buy 6.04 €
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Broschur
common.buy 65.56 €

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

Informationen zum Buch

Vollständiger Name Verification, Model Checking, and Abstract Interpretation
Autor Neil D. Jones, Markus Müller-Olm
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2008
Anzahl der Seiten 381
EAN 9783540938996
ISBN 3540938990
Libristo-Code 01571263
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 605
Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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 > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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