Advances in Hardware Design and Verification

Buch | Hardcover

313 Seiten

1997
Chapman and Hall (Verlag)
978-0-412-81330-6 (ISBN)

Artikel merken

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.

Reihe/Serie	IFIP International Federation for Information Processing
Zusatzinfo	IX, 313 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Datenbanken ► Data Warehouse / Data Mining
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
ISBN-10	0-412-81330-0 / 0412813300
ISBN-13	978-0-412-81330-6 / 9780412813306
Zustand	Neuware