Applied formal verification /

Bibliographic Details
Main Author:	Perry, Douglas L.
Other Authors:	Foster, Harry, 1956-
Format:	Book
Language:	English
Published:	New York : McGraw-Hill, [2005]
Series:	McGraw-Hill professional engineering. Electronic engineering.
Subjects:	Integrated circuits > Verification. Electronic circuits > Testing.

Description
Physical Description:	xiv, 237 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages 227-229) and index.
ISBN:	007144372X (alk. paper)