MENÜ MENÜ  

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 €
auf Lager
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?