ruben gamboa

Grid   List

  1. Interactive Theorem Proving

    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem ...

    53,49 €
    Alle Preise inkl. MwSt
  2. Essential Logic for Computer Science

    Ebook
    Sofort lieferbar

    An introduction to applying predicate logic to testing and verification of software and digital c...

    50,49 €
    Alle Preise inkl. MwSt
  3. Interactive Theorem Proving

    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem ...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1