Limit search to items available for checkout
BOOK
Title Advanced formal verification / edited by Rolf Drechsler.
Imprint Boston : Kluwer Academic Publishers, c2004.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  TK7867 .A38 2004    AVAILABLE
Description xxv, 249 p. : ill. ; 25 cm.
Bibliog. Includes bibliographical references and index.
Subject Electronic circuits -- Testing.
Decision trees.
Other Author Drechsler, Rolf.