Hochschulschrift

Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783183295203
3183295202
Maße
21 cm
Umfang
VII, 128 S.
Ausgabe
Als Ms. gedr.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss.

Erschienen in
Fortschritt-Berichte VDI / 20 / Verein Deutscher Ingenieure ; Nr. 295, Reihe 20, Rechnerunterstützte Verfahren

Schlagwort
Entwurfsautomation
Hardwareverifikation
Formale Methode
Binäres Entscheidungsdiagramm

Ereignis
Veröffentlichung
(wo)
Düsseldorf
(wer)
VDI-Verl.
(wann)
1999
Urheber
Höreth, Stefan

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:01 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Höreth, Stefan
  • VDI-Verl.

Entstanden

  • 1999

Ähnliche Objekte (12)