Matt Kaufmann - Computer-aided Reasoning: Acl2 Case Studies (advances In Formal Methods, 4, Band 4)
Brand: Matt Kaufmann -
EAN:
9780792378495MPN: m00792378490
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2000, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 352, publicationDate : 2000-06-30, publishers : Matt Kaufmann, Panagiotis Manolios, Moore, J. Strother, ISBN : 0792378490
Preise vergleichen ab:
Matt Kaufmann - in Bücher & Zeitschriften