Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen
Frank Reffel
ISBN 978-3-89722-618-0
195 Seiten, Erscheinungsjahr: 2001
Preis: 40.50 €
Keywords:
- Formale Methoden
- Verifikation
- Modellprüfung
- BDDs
KAUFOPTIONEN
| 40.50 € |
|
auf Lager |
Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?