Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /

Bibliographic Details
Corporate Authors:	CHARME 2005 Saarbrücken, Germany, SpringerLink (Online service)
Other Authors:	Borrione, Dominique, Paul, Wolfgang J., 1951-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2005]
Series:	Lecture notes in computer science. 3725.
Subjects:	Integrated circuits > Verification > Congresses. Integrated circuits > Very large scale integration > Computer-aided design > Congresses. Circuits intégrés à très grande échelle > Conception assistée par ordinateur > Congrès. Circuits intégrés > Vérification > Congrès. Circuit intégré à très grande échelle. Circuit intégré. Conception assistée par ordinateur. Essai technique. Model-checking (Informatique) Vérification formelle. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	xii, 412 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	354032030X 9783540320302
ISSN:	0302-9743 ;
DOI:	10.1007/11560548