MENÜ
Temporale Realzeitverifikation
Annette Lötzbeyer
ISBN 978-3-89722-289-2
150 Seiten, Erscheinungsjahr: 1999
Preis: 40.00 €
Temporale Realzeitverifikation
Keywords:
- Verifikation
- Realzeit
- Modellprüfung
- Formale Methoden
- Korrekte Systeme
Kaufoptionen
| Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz