Matt Kaufmann - Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4) - Preis vom 21.02.2026 06:26:04 h
179.62 CHF
+ 4.99 CHF
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2000, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 352, publicationDate : 2000-06-30, publishers : Matt Kaufmann, Panagiotis Manolios, Moore, J. Strother, ISBN : 0792378490 ...
Other options available on the web
| Sold by | Item price | Delivery | Total price | |
|---|---|---|---|---|
| MEDIMOPS | 179.62 CHF | 4.99 CHF | 184.61 CHF |