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

New to the Open Library? — Learn how it works
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

Add an ISBN to link to booksellers

Zut alors! There's no description for this book yet. Can you help?
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