Tobias Nipkow

Tobias Nipkow

15 Published BooksTobias Nipkow

Popular Books by Tobias Nipkow

Term Rewriting and All That

Term Rewriting and All That

Term Rewriting and All That

By: Franz Baader

Concrete Semantics

Concrete Semantics

Concrete Semantics

By: Tobias Nipkow

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

By: Tobias Nipkow

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

By: Tobias Nipkow

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science, 1379)

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science, 1379)

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science, 1379)

By: Tobias Nipkow

Software Safety and Security: Tools for Analysis and Verification

Software Safety and Security: Tools for Analysis and Verification

Software Safety and Security: Tools for Analysis and Verification

By: Tobias Nipkow

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) 2002 edition by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus (2002) Paperback

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) 2002 edition by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus (2002) Paperback

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) 2002 edition by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus (2002) Paperback

By: Tobias Nipkow

Software Safety and Security: Tools for Analysis and Verification (NATO Science for Peace and Security Series - D: Information and Communication Security (IOS Press))

Software Safety and Security: Tools for Analysis and Verification (NATO Science for Peace and Security Series - D: Information and Communication Security (IOS Press))

Software Safety and Security: Tools for Analysis and Verification (NATO Science for Peace and Security Series - D: Information and Communication Security (IOS Press))

By: Tobias Nipkow

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

By: Tobias Nipkow

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

By: Tobias Nipkow