Automated formal verfication techniques for digital circuits
Ann Arbor, Mich.: Univ. Microfilms Internat, 1990
Monographie, Hochschulschrift, Gedruckte Ressource
- XI, 151 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automated formal verfication techniques for digital circuits
|
---|---|
Verantwortlichkeitsangabe: | Terrance Michael Houlihan |
Autor/in / Beteiligte Person: | Houlihan, Terrance M. |
Veröffentlichung: | Ann Arbor, Mich.: Univ. Microfilms Internat, 1990 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XI, 151 S. : graph. Darst. |
Sonstiges: |
|