Formal verification of circuits
Zapisane w:
1. autor: | Drechsler, Rolf |
---|---|
Format: | Książka |
Wydane: |
Boston, MA
Kluwer Academic Pub.
2000
|
Hasła przedmiotowe: | |
Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Podobne zapisy
-
Formal verification of circuits
od: Drechsler, Rolf
Wydane: (2000) -
Formal verification of circuits /
od: Drechsler, Rolf
Wydane: (2000) -
Formal verification of circuits /
od: Drechsler, Rolf
Wydane: (2000) -
Applied formal verification
od: Perry, Douglas L.
Wydane: (2005) -
Applied formal verification
od: Perry, Douglas L.
Wydane: (2005)