MENÜ MENÜ  

Temporale Realzeitverifikation

Annette Lötzbeyer

ISBN 978-3-89722-289-2
150 Seiten, Erscheinungsjahr: 1999
Preis: 40.00 €

Keywords:
  • Verifikation
  • Realzeit
  • Modellprüfung
  • Formale Methoden
  • Korrekte Systeme

Kaufoptionen

40.00 €
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?