Books · 2026 · English · record from Crossref
Scalable Hardware Verification with Symbolic Simulation
· Springer-Verlag · 2006
The record
| Title | Scalable Hardware Verification with Symbolic Simulation |
|---|---|
| Authors | not stated in the record |
| Publisher | Springer-Verlag |
| Year | 2006 |
| Language | English |
| ISBN | 0387244115 |
| DOI | 10.1007/0-387-29906-8 |
| Catalogue | Crossref |
Open Library record ↗ (openlibrary.org/isbn/0387244115.json answered with "Scalable Hardware Verification with Symb", 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.