MENÜ
Formale Methoden zur Konstruktion eingebetteter Software
Thomas Lindner
ISBN 978-3-89722-281-6
157 pages, year of publication: 1999
price: 40.00 €
Keywords:
- Formale Methoden
- Eingebettete Systeme
- Software Verifikation
- Modellierung
- Formale Spezifikation
BUYING OPTIONS