|
Formal Methods in Computer-Aided Design
|
| Auteur: Warren A. Jr. Hunt; Steven D. Johnson |
| ISBN: 9783540409229 |
|
| Prijs: € 107.90 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
|
Printuitgave Deze titel is ook beschikbaar in print voor:
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Computer Aided Verification
|
| Auteur: Warren A. Hunt; Jr.; âFabio Somenzi |
| ISBN: 9783540450696 |
|
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
|
Printuitgave Deze titel is ook beschikbaar in print voor:
|
|
|
|
|
Download
Lees meer
info ebook
|
|