Scalable Hardware Verification with Symbolic Simulation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Bertacco, Valeria
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA Springer Science+Business Media, Inc. 2006
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/0-387-29906-8

Διαδίκτυο

http://dx.doi.org/10.1007/0-387-29906-8

ΒΚΠ - Πατρα: Unknown

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο Unknown Στη βιβλιοθήκη