21 results
Type of media (2)
Availability (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
21 results

Your search for Tobias Nipkow

  1. Cover: Functional Data Structures and Algorithms - Association for Computing Machinery
    Tobias Nipkow
    Functional Data Structures and Algorithms
    A Proof Assistant Approach
    09/2025
    Association for Computing Machinery
    9798400731563 (ISBN)
    E-Book
    ePUB
    €42.99
    Available for download
  2. Cover: Concrete Semantics - Springer
    Tobias Nipkow | Gerwin Klein
    Concrete Semantics
    With Isabelle/HOL
    12/2014
    Springer
    9783319105420 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  3. Cover: Software Safety and Security - IOS Press,US
    Tobias Nipkow | Orna Grumberg
    Software Safety and Security
    Tools for Analysis and Verification
    05/2012
    1st EDN1st Edition
    IOS Press,US
    9781614990284 (ISBN)
    E-Book
    PDF
    Other editions
    €180.99
    Available for download
  4. Cover: Isabelle/HOL - Springer
    Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
    Isabelle/HOL
    A Proof Assistant for Higher-Order Logic
    07/2003
    Springer
    9783540459491 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  5. Cover: Term Rewriting and All That - Cambridge University Press
    Franz Baader | Tobias Nipkow
    Term Rewriting and All That
    03/1998
    1st EDN1st Edition
    Cambridge University Press
    9781316043851 (ISBN)
    E-Book
    PDF
    Other editions
    €49.99
    Available for download
  6. Cover: FM 2006: Formal Methods - Springer
    Jayadev Misra | Tobias Nipkow | Emil Sekerinski
    FM 2006: Formal Methods
    14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    08/2006
    Springer
    9783540372158 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  7. Cover: Theorem Proving in Higher Order Logics - Springer
    Stefan Berghofer | Tobias Nipkow | Christian Urban
    Theorem Proving in Higher Order Logics
    22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
    08/2009
    Springer
    9783642033582 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Functional Data Structures and Algorithms - Association of Computing Machinery,U.S.
    Tobias Nipkow
    Functional Data Structures and Algorithms
    A Proof Assistant Approach
    09/2025
    Association of Computing Machinery,U.S.
    9798400731594 (ISBN)
    Book
    Paperback/Softback
    €87.50
    Shipment within 15-20 days
  9. Cover: Functional Data Structures and Algorithms - Association of Computing Machinery,U.S.
    Tobias Nipkow
    Functional Data Structures and Algorithms
    A Proof Assistant Approach
    09/2025
    Association of Computing Machinery,U.S.
    9798400731570 (ISBN)
    Book
    Hardback
    €104.70
    Shipment within 15-20 days
  10. Cover: Concrete Semantics - Springer
    Tobias Nipkow | Gerwin Klein
    Concrete Semantics
    With Isabelle/HOL
    09/2016
    Springer
    9783319357591 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €60.98
    Shipment within 10-15 days
  11. Cover: Concrete Semantics - Springer
    Tobias Nipkow | Gerwin Klein
    Concrete Semantics
    With Isabelle/HOL
    12/2014
    Springer
    9783319105413 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 10-15 days
  12. Cover: Isabelle/HOL - Springer
    Tobias Nipkow | Lawrence C. Paulson | Markus Wenzel
    Isabelle/HOL
    A Proof Assistant for Higher-Order Logic
    04/2002
    1st EDN1st Edition
    Springer
    9783540433767 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 10-15 days
  13. Cover: Software Safety and Security - IOS Press,US
    Tobias Nipkow | Orna Grumberg
    Software Safety and Security
    Tools for Analysis and Verification
    05/2012
    1st EDN1st Edition
    IOS Press,US
    9781614990277 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  14. Cover: Term Rewriting and All That - Cambridge University Press
    Franz Baader | Tobias Nipkow
    Term Rewriting and All That
    03/1998
    Cambridge University Press
    9780521455206 (ISBN)
    Book
    Hardback
    Other editions
    €65.00
    Exhausted; check for reprint
    New edition available
  15. Cover: Automated Reasoning - Springer
    Rajeev Gore | Alexander Leitsch | Tobias Nipkow
    Automated Reasoning
    First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
    06/2001
    Springer
    9783540422549 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  16. Cover: Rewriting Techniques and Applications - Springer
    Tobias Nipkow
    Rewriting Techniques and Applications
    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    03/1998
    Springer
    9783540643012 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: Formal Logical Methods for System Security and Correctness - IOS Press,US
    Orna Grumberg | Tobias Nipkow
    Formal Logical Methods for System Security and Correctness
    03/2008
    1st EDN1st Edition
    IOS Press,US
    9781586038434 (ISBN)
    Book
    Hardback
    Other editions
    €120.34
    Exhausted; check different version
  18. Cover: Types for Proofs and Programs - Springer
    Henk Barendregt | Tobias Nipkow
    Types for Proofs and Programs
    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    05/1994
    Springer
    9783540580850 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Higher-Order Algebra, Logic, and Term Rewriting - Springer
    Jan Heering | Karl Meinke | Bernhard Möller
    Higher-Order Algebra, Logic, and Term Rewriting
    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    07/1994
    Springer
    9783540582335 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  20. Cover: Term Rewriting and All That - Cambridge University Press
    Franz Baader | Tobias Nipkow
    Term Rewriting and All That
    08/1999
    Cambridge University Press
    9780521779203 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €76.70
    Shipment within 15-20 days
    2. of 2