Warenkorb
Übersetzung
Anmelden/Login
logo
mediatypes Bücher

CodeGeneration – Buch gebraucht, antiquarisch & neu kaufen



Tagen
 
ISBN 9783319779348: NASA Formal Methods
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
113 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
Artikel pro Seite:
Seiten:

neues Buch Compiler Construction

Laurie Hendren: Compiler Construction

Laurie Hendren


Springer

, 18.03.2008, Taschenbuch
ISBN: 9783540787907
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Interactive Theorem Proving

Assia Mahboubi: Interactive Theorem Prov

Assia Mahboubi


Springer

, 04.07.2018, Taschenbuch
ISBN: 9783319948201
Neuware
96,68 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Compiler Compilers

Dieter Hammer: Compiler Compilers

Dieter Hammer


Springer

, 12.02.1991, Taschenbuch
ISBN: 3540536698
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Compiler Construction

Bjoern Franke: Compiler Construction

Bjoern Franke


Springer Berlin Heidelberg

, 2015, Kartoniert / Broschiert
ISBN: 9783662466629
Neuware
46,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Programming Languages and Systems

Giuseppe Castagna: Programming Languages

Giuseppe Castagna


Springer Berlin Heidelberg

, 2009, Kartoniert / Broschiert
ISBN: 9783642005893
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Intelligent Computer Mathematics

Carette, Jacques Dixon, Lucas Sacerdoti

Carette, Jacques Dixon, Lucas Sacerdoti Coen, Claudio Watt, Stephen


Springer Berlin Heidelberg

, 2009, Kartoniert / Broschiert
ISBN: 9783642026133
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Generative Programming and Component Engineering

Karsai, Gabor Visser, Eelco: Generative

Karsai, Gabor Visser, Eelco


Springer Berlin Heidelberg

, 2004, Kartoniert / Broschiert
ISBN: 3540235809
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Generative Programming and Component Engineering

Pfenning, Frank Smaragdakis, Yannis: Gen

Pfenning, Frank Smaragdakis, Yannis


Springer Berlin Heidelberg

, 2003, Kartoniert / Broschiert
ISBN: 3540201025
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Formal Object-Oriented Development

Kevin Lano: Formal Object-Oriented Devel

Kevin Lano


Springer London

, 1995, Kartoniert / Broschiert
ISBN: 3540199780
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Compiler Compilers

Dieter Hammer: Compiler Compilers

Dieter Hammer


Springer Berlin Heidelberg

, 1991, Kartoniert / Broschiert
ISBN: 3540536698
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Domain-Specific Model-Driven Testing

Stefan Baerisch: Domain-Specific Model-D

Stefan Baerisch


Vieweg+Teubner Verlag

, 2009, Kartoniert / Broschiert
ISBN: 9783834809315
Neuware
117,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Cyber-Physical System Design from an Architecture Analysis Viewpoint

Nakajima, Shin Talpin, Jean-Pierre Toyos

Nakajima, Shin Talpin, Jean-Pierre Toyoshima, Masumi Yu, Huafeng


Springer Singapore

, 2018, Kartoniert / Broschiert
ISBN: 9789811351365
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Formal Methods for Industrial Critical Systems

Howar, Falk Barnat, Jiri: Formal Methods

Howar, Falk Barnat, Jiri


Springer International Publishing

, 2018, Kartoniert / Broschiert
ISBN: 9783030002435
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Solution of Differential Equations by the Finite Element Method

Logg, Anders Mardal, Kent-Andre Wells, G

Logg, Anders Mardal, Kent-Andre Wells, Garth


Springer Berlin Heidelberg

, 2016, Kartoniert / Broschiert
ISBN: 9783662508336
Neuware
117,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Analysis, Architectures and Modelling of Embedded Systems

Rettberg, Achim Zanella, Mauro C. Amann,

Rettberg, Achim Zanella, Mauro C. Amann, Michael Keckeisen, Michael Rammig, Franz J.


Springer Berlin Heidelberg

, 2009, Gebunden
ISBN: 9783642042836
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Gorentla Venkata, Manjunath Imam, Neena

Gorentla Venkata, Manjunath Imam, Neena Pophale, Swaroop Mintz, Tiffany M.


Springer International Publishing

, 2016, Kartoniert / Broschiert
ISBN: 9783319509945
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Model Driven Architecture - Foundations and Applications

Paige, Richard F. Hartman, Alan Rensink,

Paige, Richard F. Hartman, Alan Rensink, Arend


Springer Berlin Heidelberg

, 2009, Kartoniert / Broschiert
ISBN: 9783642026737
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Parallel Agile – faster delivery, fewer defects, lower cost

Doug Rosenberg Barry Boehm Matt Stephens

Doug Rosenberg Barry Boehm Matt Stephens Charles Suscheck Shobha Rani Dhalipathi Bo Wang


Springer International Publishing

, 2021, Kartoniert / Broschiert
ISBN: 9783030307035
Neuware
38,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch An Optimized Translation Process and Its Application to ALGOL 68

P. Branquart J.-P. Cardinael J.-P. Deles

P. Branquart J.-P. Cardinael J.-P. Delescaille J. Lewi M. Vanbegin


Springer Berlin Heidelberg

, 1976, Kartoniert / Broschiert
ISBN: 3540075453
Neuware
30,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch NASA Formal Methods

Aaron Dutle: NASA Formal Methods

Aaron Dutle


Springer International Publishing

, 11.03.2018, Taschenbuch
ISBN: 9783319779348
Neuware
53,49 €
versandkostenfrei
mit ausführlicher Beschreibung
auf Ihrem
wird gespeichert …
Seiten: