Matt Kaufmann
Beliebte Artikel von Matt Kaufmann
Alle Angebote anzeigen-
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)
Artikelpreise ab
6 Angebote anzeigenEUR 222,69
Entdecken Sie auch
Neu -
Computer-Aided Reasoning: An Approach (Advances in Formal Methods, 3)
Kaufmann, Matt; Manolios, Panagiotis; Moore, J Strother
Artikelpreise ab
1 Angebot anzeigenEUR 373,00
Entdecken Sie auch
Antiquarisch -
