MENÜ MENÜ  

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?