AKTUELLE PARTNERANGEBOTE

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

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

2 Angebote · ab 195,84 € gemeldete Gesamtkosten