Warenkorb
Übersetzung
Anmelden/Login
logo
mediaTypes Bücher

programoptimization – Buch gebraucht, antiquarisch & neu kaufen



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

neues Buch Logic-Based Program Synthesis and Transformation

Santiago Escobar: Logic-Based Program Sy

Santiago Escobar


Springer, Springer

, 13.09.2025, Taschenbuch
ISBN: 9783032048479
Neuware
62,05 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Logic-Based Program Synthesis and Transformation

Bishoksan Kafle: Logic-Based Program Syn

Bishoksan Kafle


Springer

, 16.10.2023, Taschenbuch
ISBN: 9783031457838
Neuware
60,88 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Logic-Based Program Synthesis and Transformation

Fred Mesnard: Logic-Based Program Synthe

Fred Mesnard


Springer

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

neues Buch Compiler Construction

Ranjit Jhala: Compiler Construction

Ranjit Jhala


Springer Gabler

, 20.02.2013, Taschenbuch
ISBN: 9783642370502
Neuware
51,62 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …

neues Buch Compiler Construction

Ranjit Jhala: Compiler Construction

Ranjit Jhala


Springer Berlin Heidelberg

, 20.02.2013, Taschenbuch
ISBN: 9783642370502
Neuware
49,22 €
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 Generative and Transformational Techniques in Software Engineering

Joost Visser: Generative and Transformat

Joost Visser


Springer

, 29.09.2006, Taschenbuch
ISBN: 354045778X
Neuware
53,49 €
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 Domain-Specific Program Generation

Charles Consel: Domain-Specific Program

Charles Consel


Springer

, 24.05.2004, Taschenbuch
ISBN: 3540221190
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
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 …

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 Domain-Specific Program Generation

Charles Consel: Domain-Specific Program

Charles Consel


Springer

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

neues Buch Verification, Model Checking, and Abstract Interpretation

Steffen, Bernhard Levi, Giorgio: Verific

Steffen, Bernhard Levi, Giorgio


Springer Berlin Heidelberg

, 2004, Kartoniert / Broschiert
ISBN: 3540208038
Neuware
48,45 €
versandkostenfrei
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 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 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 Vieweg

, 13.12.2002, Taschenbuch
ISBN: 3540003487
Neuware
53,49 €
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 Vieweg

, 13.12.2002, Taschenbuch
ISBN: 3540003487
Neuware
55,73 €
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 Berlin Heidelberg

, 2002, Kartoniert / Broschiert
ISBN: 3540436316
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …
Seiten: