Releases med Tobias Nipkow

Alla7
Inbunden Bok2
Pocketbok5

I lager hos iMusic Visa slutsålda utgivelser

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

Functional Data Structures and A... (2025)

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

Functional Data Structures and A... (2025)

Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Pocketbok) [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 (Inbunden Bok) [2014 edition] (2014)

Concrete Semantics: With Isabell... (2014)

Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Pocketbok) [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 (Pocketbok) (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 (Pocketbok) (1994)

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