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 € |
|
Nur noch 3 Ex. auf Lager |
Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?