Matt Kaufmann
Artículos populares por Matt Kaufmann
Ver todas las ofertas-
Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)
Precios de los artículos a partir de
Ver 25 ofertasEUR 126,71
-
Computer-Aided Reasoning: An Approach: Pt. 1 (Advances in Formal Methods)
Kaufmann, Matt
Precios de los artículos a partir de
Ver 2 ofertasEUR 335,70
Encuentra también
Antiguos o usados -
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings: 6172 (Lecture Notes in Computer Science, 6172)
Precios de los artículos a partir de
Ver 5 ofertasEUR 131,80
