|
|
|
|
| LEADER |
00000cam a2200000Ii 4500 |
| 001 |
OR_ocn918902693 |
| 003 |
OCoLC |
| 005 |
20231017213018.0 |
| 006 |
m o d |
| 007 |
cr unu|||||||| |
| 008 |
150818s2015 maua ob 001 0 eng d |
| 040 |
|
|
|a UMI
|b eng
|e rda
|e pn
|c UMI
|d OCLCO
|d OCLCF
|d OCLCO
|d DEBBG
|d DEBSZ
|d CEF
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 956678666
|
| 020 |
|
|
|a 9780128008157
|
| 020 |
|
|
|a 0128008156
|
| 020 |
|
|
|a 0128007273
|
| 020 |
|
|
|a 9780128007273
|
| 020 |
|
|
|z 9780128007273
|
| 029 |
1 |
|
|a DEBBG
|b BV043020064
|
| 029 |
1 |
|
|a DEBSZ
|b 455696306
|
| 029 |
1 |
|
|a GBVCP
|b 84850447X
|
| 029 |
1 |
|
|a AU@
|b 000058374658
|
| 035 |
|
|
|a (OCoLC)918902693
|z (OCoLC)956678666
|
| 037 |
|
|
|a CL0500000626
|b Safari Books Online
|
| 050 |
|
4 |
|a TK7867
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Seligman, Erik,
|e author.
|
| 245 |
1 |
0 |
|a Formal verification :
|b an essential toolkit for modern VLSI design /
|c Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar.
|
| 246 |
3 |
0 |
|a Essential toolkit for modern VLSI design
|
| 246 |
3 |
|
|a Essential toolkit for modern very-large scale integration design
|
| 264 |
|
1 |
|a Waltham, MA :
|b Elsevier Science,
|c [2015]
|
| 264 |
|
4 |
|c ©2015
|
| 300 |
|
|
|a 1 online resource (1 volume) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 588 |
0 |
|
|a Online resource; title from title page (Safari, viewed August 18, 2015).
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 590 |
|
|
|a O'Reilly
|b O'Reilly Online Learning: Academic/Public Library Edition
|
| 650 |
|
0 |
|a Electronic circuits
|x Testing.
|
| 650 |
|
0 |
|a Integrated circuits
|x Very large scale integration
|x Design and construction.
|
| 650 |
|
0 |
|a Verilog (Computer hardware description language)
|
| 650 |
|
6 |
|a Verilog (Langage de description de matériel informatique)
|
| 650 |
|
7 |
|a Electronic circuits
|x Testing
|2 fast
|
| 650 |
|
7 |
|a Integrated circuits
|x Very large scale integration
|x Design and construction
|2 fast
|
| 650 |
|
7 |
|a Verilog (Computer hardware description language)
|2 fast
|
| 700 |
1 |
|
|a Schubert, E. Thomas,
|d 1959-
|e author.
|
| 700 |
1 |
|
|a Kumar, M. V. Achutha Kiran,
|e author.
|
| 856 |
4 |
0 |
|u https://learning.oreilly.com/library/view/~/9780128008157/?ar
|z Texto completo (Requiere registro previo con correo institucional)
|
| 994 |
|
|
|a 92
|b IZTAP
|
