Matt Kaufmann (u. a.) | Computer-Aided Reasoning | Buch | Englisch (2000) | xv

Titel: Computer-Aided Reasoning | Zusatz: ACL2 Case Studies | Medium: Buch | Redaktion: Matt Kaufmann (u. a.) | Einband: Gebunden | Inhalt: xv / 337 S. / 1 s/w Illustr. | Auflage: 2000 | Sprache: Englisch | Seiten: 364 | Maße: 241 x 160 x 20 mm | Erschienen: 30.06.2000 | Anbieter: Faboplay.

eBay