MENÜ MENÜ  

Formale Methoden zur Konstruktion eingebetteter Software

Thomas Lindner

ISBN 978-3-89722-281-6
157 Seiten, Erscheinungsjahr: 1999
Preis: 40.00 €

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

Kaufoptionen

40.00 €
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?