Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
January 22, 2010 | History

Formal methods for the verification of digital circuits 1 edition

Formal methods for the verification of digital circuits
Cornelius Arnoldus Josephus va ...

No ebook available.


Buy this book

Add an ISBN in order to
link to booksellers


There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Formal methods for the verification of digital circuits
C.A.J. van Eijk.

Published 1997 by Technische Universiteit Eindhoven in Eindhoven .
Written in English.

Edition Notes

Thesis (doctoral) - Technische Universiteit Eindhoven, 1997.

The Physical Object

Pagination
144p.
Number of pages
144

ID Numbers

Open Library
OL17163113M

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 22, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page