|
|
|
|
LEADER |
01400cam a2200373 4500 |
001 |
PPN174470932 |
003 |
http://www.sudoc.fr/174470932 |
005 |
20230710130700.0 |
010 |
|
|
|a 978-0-387-25538-5
|b alk. paper
|
010 |
|
|
|a 0-387-25538-9
|b alk. paper
|
035 |
|
|
|a (OCoLC)757383940
|
100 |
|
|
|a 20131126d2006 k y0frey0103 ba
|
101 |
0 |
|
|a eng
|2 639-2
|
102 |
|
|
|a US
|
105 |
|
|
|a a a 001|y
|
106 |
|
|
|a r
|
181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
182 |
|
|
|6 z01
|c n
|2 rdamedia
|
182 |
|
1 |
|6 z01
|a n
|
200 |
0 |
|
|a Verification methodology manual for SystemVerilog
|f by Janick Bergeron ... [et al.]
|
210 |
|
|
|a New York
|c Springer
|d cop. 2006
|
215 |
|
|
|a 1 vol. (xvii-503 p.)
|c ill.
|d 24 cm
|
320 |
|
|
|a Bibliogr.. Index
|
452 |
|
| |
|0 113270348
|t Verification methodology manual for systemverilog
|f Janick Bergeron, Eduard Cerny, Alan Hunter ... [et al.]
|d 2006
|c New York, NY
|n Springer US
|n Imprint: Springer
|y 0-387-25556-7
|
606 |
|
|
|3 PPN050283170
|a Verilog (langage de description de matériel informatique)
|2 rameau
|
606 |
|
|
|3 PPN027223221
|a Circuits intégrés
|3 PPN027794725
|x Conception et construction
|2 rameau
|
676 |
|
|
|a 621.39/2
|v 22
|
680 |
|
|
|a TK7885.7
|b .V44 2006
|
700 |
|
1 |
|3 PPN17447153X
|a Bergeron
|b Janick
|4 070
|
801 |
|
3 |
|a FR
|b Abes
|c 20210427
|g AFNOR
|
801 |
|
0 |
|b DLC
|g AACR2
|
930 |
|
|
|5 441092104:49432306X
|b 441092104
|j u
|
998 |
|
|
|a 663423
|