Formal Verification: An Essential Toolkit for Modern VLSI Design
| Country | USA |
| Brand | HarperCollins Children's Books |
| Manufacturer | Zondervan |
| Binding | Imitation Leather |
| ItemPartNumber | 9780310446705 |
| ReleaseDate | 2018-12-04 |
| UnitCount | 1 |
| Format | Large Print |
| EANs | 9780310446705 |