Releases von Tobias Nipkow

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Tobias Nipkow · Functional Data Structures and Algorithms: A Proof Assistant Approach (Gebundenes Buch) (2025)

Gebundenes Buch

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Functional Data Structures and Algorithms: A Proof Assistant Approach (Taschenbuch) (2025)

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Taschenbuch) [Softcover reprint of the original 1st ed. 2014 edition] (2016)

Softcover reprint of the original 1st ed. 2014 edition

Concrete Semantics: With Isabell... (2016)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Gebundenes Buch) [2014 edition] (2014)

Gebundenes Buch

Concrete Semantics: With Isabell... (2014)

Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Taschenbuch) [2002 edition] (2002)

Isabelle / HOL: A Proof Assistan... (2002)

Cover for Tobias Nipkow · Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (1998)

Rewriting Techniques and Applica... (1998)

Cover for Tobias Nipkow · Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993, Selected Papers - Lecture Notes in Computer Science (Taschenbuch) (1994)

Types for Proofs and Programs: I... (1994)