Cover Image
Read Now

Advances in Hardware Design and Verification

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

Bibliographic Details
Other Authors: Hon Li (Editor), Probst, David (Editor)
Format: eBook
Language:English
Published: New York, NY Springer US 1997, 1997
Edition:1st ed. 1997
Series:IFIP Advances in Information and Communication Technology
Subjects:
Information Storage And Retrieval
Information Storage And Retrieval Systems
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
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 

Similar Items