Verification methodology manual for system verilog /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Bergeron, Janick
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: New York : Springer, c 2006
Θέματα:
LEADER 01257nam a2200253 a 4500
001 GR-Antirio659
008 090313s2006 nyu b 001 0 gre d
020 |a 0387255389 
040 |a GrPaTEI  |b gre  |c GR-PaULI 
040 |a GrPaTEI  |b gre  |c GR-PaULI 
040 |a GrPaTEI  |b gre  |c GR-PaULI 
082 0 |a 621.392  |2 22 
100 0 |a Bergeron, Janick 
245 1 0 |a Verification methodology manual for system verilog /  |c Bergeron, Janick ... [et al.]. 
260 |a New York :  |b Springer,  |c c 2006 
300 |a xvii. , 503 σ. :  |b εικ. ;  |c 24 εκ. 
504 |a Περιλαμβάνει βιβλιογραφίες και ευρετήριο. 
650 0 |a VERILOG (COMPUTER HARDWARE DESCRIPTION LANGUAGE) 
653 |a INTERGRATED CIRCUITS--VERIFICATION 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 621_392000000000000_BER  |7 0  |9 261894  |a LISK-2  |b LISK-2  |c BSC  |d 2021-01-17  |e 24  |f 0  |g 0.00  |l 0  |o 621.392 BER  |p 2430000006838  |r 2021-01-17 00:00:00  |t 1  |w 2021-01-17  |y BK15  |x 20090313 0 1  |x GrPaTEI - Antirrio 
952 |0 0  |1 0  |2 ddc  |4 0  |6 621_392000000000000_BER  |7 0  |9 261895  |a LISK-2  |b LISK-2  |c BSC  |d 2021-01-17  |e 24  |f 0  |g 0.00  |l 0  |o 621.392 BER  |p 2430000006878  |r 2021-01-17 00:00:00  |t 1  |w 2021-01-17  |y BK15  |x 20090317 0 1  |x GrPaTEI - Antirrio 
971 |a .b25704588  |b 01-10-20  |c 12-09-16 
999 |c 151110  |d 151110