MENÜ MENÜ  

Temporale Realzeitverifikation

Annette Lötzbeyer

ISBN 978-3-89722-289-2
150 pages, year of publication: 1999
price: 40.00 €
Temporale Realzeitverifikation

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

BUYING OPTIONS

40.00 €
only 3 in stock