AKTUELLE PARTNERANGEBOTE

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)

Name: Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)
Brand: Matt Kaufmann
SKU: 12221005

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

1 Angebote · ab 197,54 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)