Books · 2026 · English · record from Crossref
Practical Formal Methods for Hardware Design
· Springer Berlin Heidelberg · 1997
The record
| Title | Practical Formal Methods for Hardware Design |
|---|---|
| Authors | not stated in the record |
| Publisher | Springer Berlin Heidelberg |
| Year | 1997 |
| Language | English |
| ISBN | 9783540620075 |
| DOI | 10.1007/978-3-642-60641-0 |
| Catalogue | Crossref |
Open Library record ↗ (openlibrary.org/isbn/9783540620075.json answered with "Practical formal methods for hardware de", 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.