Moore j strother editor (1 risultati)
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Rilegato
Da: Symposia Community Bookstore INC, Hoboken, NJ, U.S.A.Symposia Community Bookstore INC
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 126,35
EUR 4,33 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Very Good. Clean, unmarked pages, except name inside.
