Dieses Bild ist zur Zeit nicht verfügbar.

Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen

Frank Reffel(Autor*in)
Logos Berlin (Verlag)
Erschienen in 2001
Buch
Softcover
195 Seiten
978-3-89722-618-0 (ISBN)
40,50 €inkl. 7% MwSt.
Artikel leider nicht lieferbar

Weitere Details