Books · 2026 · English · record from Crossref
Introduction to Formal Hardware Verification
Kropf, Thomas · Springer Berlin Heidelberg · 1999
The record
| Title | Introduction to Formal Hardware Verification |
|---|---|
| Authors | Kropf, Thomas |
| Publisher | Springer Berlin Heidelberg |
| Year | 1999 |
| Language | English |
| ISBN | 9783642084775 |
| DOI | 10.1007/978-3-662-03809-3 |
| Catalogue | Crossref |
Open Library record ↗ (openlibrary.org/isbn/9783642084775.json answered with "Introduction to Formal Hardware Verifica", checked 4 October 2026)
Filed under
- Hardware & accelerators
This page reports a catalogue record. It is not a recommendation and it is not a shop: the outbound link above goes to a library catalogue, and there is no purchase link anywhere on this site. Titles keep the language of the record, so a German title stays German.