Cover Image

Advanced formal verification /

Show other versions (1)
Bibliographic Details
Other Authors: Drechsler, Rolf
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2004]
Subjects:
Electronic circuits > Testing.
Decision trees.
Description
Physical Description:xxv, 249 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:1402077211 (alk. paper)