Moore j strother editor (1 résultats)
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Couverture rigide
Vendeur : Symposia Community Bookstore INC, Hoboken, NJ, Etats-UnisSymposia Community Bookstore INC
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 125,00
EUR 4,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : Very Good. Clean, unmarked pages, except name inside.
