MENÜ MENÜ  

Formale Methoden zur Konstruktion eingebetteter Software

Thomas Lindner

ISBN 978-3-89722-281-6
157 pages, year of publication: 1999
price: 40.00 €
Formale Methoden zur Konstruktion eingebetteter Software

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

BUYING OPTIONS

40.00 €
in stock