Warenkorb
Übersetzung
Anmelden/Login
logo
mediaTypes Bücher

programoptimization – Buch gebraucht, antiquarisch & neu kaufen



Tagen
 
ISBN 9783540208037: Verification, Model Checking, and Abstract Interpretation
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
30 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
Seiten:

neues Buch Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi: Verification, Model Ch

Agostino Cortesi


Springer

, 24.04.2002, Taschenbuch
ISBN: 3540436316
Neuware
74,89 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Verification, Model Checking, and Abstract Interpretation

Agostino Cortesi: Verification, Model Ch

Agostino Cortesi


Springer

, 24.04.2002, Taschenbuch
ISBN: 3540436316
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Generative and Transformational Techniques in Software Engineering

Joost Visser: Generative and Transformat

Joost Visser


Springer

, 29.09.2006, Taschenbuch
ISBN: 354045778X
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Verification, Model Checking, and Abstract Interpretation

Giorgio Levi: Verification, Model Checki

Giorgio Levi


Springer

, 07.01.2004, Taschenbuch
ISBN: 3540208038
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Static Analysis

Giorgio Levi: Static Analysis

Giorgio Levi


Springer

, 02.09.1998, Taschenbuch
ISBN: 3540650148
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Advanced Symbolic Analysis for Compilers

Bernhard Scholz: Advanced Symbolic Analy

Bernhard Scholz


Springer Vieweg

, 07.04.2003, Taschenbuch
ISBN: 3540011854
Neuware
55,73 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Advanced Symbolic Analysis for Compilers

Bernhard Scholz: Advanced Symbolic Analy

Bernhard Scholz


Springer Vieweg

, 07.04.2003, Taschenbuch
ISBN: 3540011854
Neuware
53,49 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Genetic Programming in the Context of Natural Computing

Hubert Schölnast: Genetic Programming in

Hubert Schölnast


GRIN Verlag, GRIN Verlag

, 18.08.2010, Taschenbuch
ISBN: 9783640594764
Neuware
47,95 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Verification, Model Checking, and Abstract Interpretation

Giorgio Levi: Verification, Model Checki

Giorgio Levi


Springer

, 07.01.2004, Taschenbuch
ISBN: 3540208038
Neuware
53,49 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Verification, Model Checking, and Abstract Interpretation

Giorgio Levi: Verification, Model Checki

Giorgio Levi


Springer

, 07.01.2004, Taschenbuch
ISBN: 3540208038
Neuware
54,49 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …
Seiten: