Hardware Verification with C++ A Practitioner’s Handbook

Hardware Verification with C++ A Practitioner’s Handbook

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Mintz, Mike
Άλλοι συγγραφείς: Ekendahl, Robert
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA Springer Science+Business Media, LLC 2006
Θέματα:
Engineering
Computer engineering
Computer science
Computer aided design
Systems engineering
Electronic and Computer Engineering
Programming Languages, Compilers, Interpreters
Computer-Aided Engineering (CAD, CAE) and Design
Circuits and Systems
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-0-387-36254-0
LEADER 01281nom a2200349 u 4500
001 10073196
003 upatras
005 20210117201748.0
008 090513s2006 eng
020 |a 9780387362540 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Mintz, Mike  |9 72039 
245 1 0 |a Hardware Verification with C++  |h [electronic resource]  |b A Practitioner’s Handbook  |c by Mike Mintz, Robert Ekendahl 
260 |a Boston, MA  |b Springer Science+Business Media, LLC  |c 2006 
300 |b v.: digital 
650 4 |a Engineering  |9 17712 
650 4 |a Computer engineering  |9 24296 
650 4 |a Computer science  |9 13995 
650 4 |a Computer aided design  |9 24299 
650 4 |a Systems engineering  |9 64844 
650 4 |a Engineering  |9 17712 
650 4 |a Electronic and Computer Engineering  |9 64855 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
650 4 |a Computer-Aided Engineering (CAD, CAE) and Design  |9 64865 
650 4 |a Circuits and Systems  |9 24301 
700 1 |a Ekendahl, Robert  |9 72040 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-0-387-36254-0 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 74652  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 49441  |d 49441 

Παρόμοια τεκμήρια