Vertel uw vrienden over dit artikel:
Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods Matt Kaufmann 2000 edition
Prijs
€ 196,99
Besteld in een afgelegen magazijn
Verwachte levering 5 - 13 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Matt Kaufmann
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods
Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.
337 pages, biography
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
