matt kaufmann

Grid   List

  1. Interactive Theorem Proving
    Interactive Theorem Proving
    Matt Kaufmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Interactive Theorem Proving
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Computer-Aided Reasoning
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer US
    Ebook
    Sofort lieferbar
    Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal m...
    259,00 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Computer-Aided Reasoning
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer US
    Ebook
    Sofort lieferbar
    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 softwa...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Computer-Aided Reasoning
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer US, Springer US
    Buch
    Bezug 11-15
    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 a...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Computer-Aided Reasoning
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer US, Springer US
    Taschenbuch
    Bezug 16-20
    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 a...
    242,98 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>