Matt Kaufmann - Computer-aided Reasoning: Acl2 Case Studies (advances In Formal Methods, 4, Band 4)
Brand: Matt Kaufmann -
EAN:
9781441949813MPN: m0144194981x
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2000, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 356, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Matt Kaufmann, ISBN : 144194981X
Preise vergleichen ab:
Matt Kaufmann - in Bücher & Zeitschriften