Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science)
| Name in long format: | Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science) |
|---|---|
| ISBN-10: | 0135724058 |
| ISBN-13: | 9780135724057 |
| Book pages: | 151 |
| Book language: | en |
| Binding: | Hardcover |
| Publisher: | Prentice Hall |
| Dimensions: | Height: 9.4488 Inches, Length: 7.0866 Inches, Weight: 0.8708259349 Pounds, Width: 0.7874 Inches |
