Description: Advanced formal verification/

Other Authors:	Drechsler, Rolf
Format:	Book
Language:	English
Published:	Boston: Kluwer Academic Publishers, c2004
Subjects:	Electronic circuits > Testing

Physical Description:	xxv, 249 p. : ill. ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	1402077211