Correct Hardware Design and Verification Methods

By:

Camurati, Paolo E

Contributor(s):

Eveking, Hans

Material type: Text

TextSeries: Lecture Notes in Computer SciencePublication details: New York Springer-Verlag 1995Description: 342pISBN:

9783540603856

Subject(s):

Electronic Engineering

DDC classification:

621.395 COR

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	6th Floor Silence Zone	Reference	621.395 COR (Browse shelf(Opens below))	Not For Loan		T0032632

Total holds: 0

Lecture Notes in Computer Science 987 Model Checking Theorem Proving Formally Verified Synthesis Process Algebras Finite State Systems I Finite State Systems II Verification Environments Language Containment VHDL

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)