ruben gamboa

Grid   List

  1. Interactive Theorem Proving
    Interactive Theorem Proving
    Gerwin Klein
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Essential Logic for Computer Science
    Essential Logic for Computer Science
    Rex Page
    MIT Press
    Ebook
    Sofort lieferbar
    An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
    50,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Interactive Theorem Proving
    Interactive Theorem Proving
    Ruben Gamboa
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>