Formal verification of circuits Rolf Drechsler

By:

Publication details: Dordrecht ; Boston Kluwer Academic Publishers 2000Description: x, 179 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	621.381548 DRE (Browse shelf(Opens below))	Available		304447

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map