Moore j strother editor (1 Ergebnisse)
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Hardcover
Anbieter: Symposia Community Bookstore INC, Hoboken, NJ, USASymposia Community Bookstore INC
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 126,15
EUR 4,32 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: Very Good. Clean, unmarked pages, except name inside.
