|
|
|
|
LEADER |
01252nmm a2200277 u 4500 |
001 |
EB001122990 |
003 |
EBX01000000000000000850285 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
160203 ||| eng |
020 |
|
|
|a 9780387351902
|
100 |
1 |
|
|a Hon Li
|e [editor]
|
245 |
0 |
0 |
|a Advances in Hardware Design and Verification
|h Elektronische Ressource
|c edited by Hon Li, David Probst
|
250 |
|
|
|a 1st ed. 1997
|
260 |
|
|
|a New York, NY
|b Springer US
|c 1997, 1997
|
300 |
|
|
|a IX, 313 p
|b online resource
|
653 |
|
|
|a Information Storage and Retrieval
|
653 |
|
|
|a Information storage and retrieval systems
|
700 |
1 |
|
|a Probst, David
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a IFIP Advances in Information and Communication Technology
|
028 |
5 |
0 |
|a 10.1007/978-0-387-35190-2
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-0-387-35190-2?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 025.04
|
520 |
|
|
|a CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year
|