MENÜ MENÜ  

» english »

» MyLibrary »

PROGRAMM
» Shop »
» Neuheiten »
» Schriftenreihen »
» Zeitschriften »
PUBLIZIEREN
» AutorIn werden »
» Herausgeben »
» Open Access »
SERVICE
» Rezensionen »
» Buchhandel »
» Bibliotheken »
» Lehre »
VERLAG
» Über uns »
» Interviews »
» News/Presse »
» Kontakt »


Formale Methoden zur Konstruktion eingebetteter Software

Thomas Lindner

ISBN 978-3-89722-281-6
157 Seiten, Erscheinungsjahr: 1999
Preis: 40.00 €
Formale Methoden zur Konstruktion eingebetteter Software

Keywords:
  • Formale Methoden
  • Eingebettete Systeme
  • Software Verifikation
  • Modellierung
  • Formale Spezifikation

Kaufoptionen

40.00 €
Versandkostenfrei innerhalb Deutschlands

Wollen auch Sie Ihre Dissertation veröffentlichen?

» english »

» MyLibrary »

PROGRAMM
» Shop »
» Neuheiten »
» Schriftenreihen »
» Zeitschriften »
PUBLIZIEREN
» AutorIn werden »
» Herausgeben »
» Open Access »
SERVICE
» Rezensionen »
» Buchhandel »
» Bibliotheken »
» Lehre »
VERLAG
» Über uns »
» Interviews »
» News/Presse »
» Kontakt »