Tobias Nipkow - Böcker

Visar alla böcker från författaren Tobias Nipkow.
15 produkter
Tobias Nipkow, Gerwin Klein - Concrete Semantics, Inbunden

Concrete Semantics

Av Tobias Nipkow, Gerwin Klein

Inbunden, Engelska, 2014

1 089 kr

Skickas inom 10-15 vardagar
Tobias Nipkow, Gerwin Klein - Concrete Semantics, Häftad

Concrete Semantics

Av Tobias Nipkow, Gerwin Klein

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar
Jayadev Misra, Tobias Nipkow, Emil Sekerinski - FM 2006: Formal Methods, Häftad

FM 2006: Formal Methods

Av Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Häftad, Engelska, 2006

1 449 kr

Skickas inom 10-15 vardagar
Rajeev Gore, Alexander Leitsch, Tobias Nipkow - Automated Reasoning, Häftad

Automated Reasoning

Av Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Häftad, Engelska, 2001

1 409 kr

Skickas inom 10-15 vardagar
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad
Del 2283 - Lecture Notes in Computer Science

Isabelle/HOL

Av Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Häftad, Engelska, 2002

779 kr

Skickas inom 10-15 vardagar
Henk Barendregt, Tobias Nipkow - Types for Proofs and Programs, Häftad
Del 806 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Henk Barendregt, Tobias Nipkow

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow - Higher-Order Algebra, Logic, and Term Rewriting, Häftad
Del 816 - Lecture Notes in Computer Science

Higher-Order Algebra, Logic, and Term Rewriting

Av Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar
Tobias Nipkow - Rewriting Techniques and Applications, Häftad
Del 1379 - Lecture Notes in Computer Science

Rewriting Techniques and Applications

Av Tobias Nipkow

Häftad, Engelska, 1998

709 kr

Skickas inom 10-15 vardagar
Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

Av Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel

Häftad, Engelska, 2009

709 kr

Skickas inom 10-15 vardagar
  • Nyhet
Tobias Nipkow, Tobias Nipkow - Functional Data Structures and Algorithms, Inbunden

Functional Data Structures and Algorithms

Av Tobias Nipkow, Tobias Nipkow

Inbunden, Engelska, 2025

1 019 kr

Skickas inom 5-8 vardagar
  • Nyhet
Tobias Nipkow, Tobias Nipkow - Functional Data Structures and Algorithms, Häftad

Functional Data Structures and Algorithms

Av Tobias Nipkow, Tobias Nipkow

Häftad, Engelska, 2025

769 kr

Skickas inom 5-8 vardagar
Franz Baader, Tobias Nipkow - Term Rewriting and All That, Inbunden

Term Rewriting and All That

Av Franz Baader, Tobias Nipkow

Inbunden, Engelska, 1998

919 kr

Slutsåld
Orna Grumberg, Tobias Nipkow - Formal Logical Methods for System Security and Correctness, Inbunden

Formal Logical Methods for System Security and Correctness

Av Orna Grumberg, Tobias Nipkow

Inbunden, Engelska, 2008

1 349 kr

Slutsåld
Tobias Nipkow, Orna Grumberg - Software Safety and Security, Inbunden

Software Safety and Security

Av Tobias Nipkow, Orna Grumberg

Inbunden, Engelska, 2012

1 919 kr

Slutsåld