Buy Used and New Tobias Nipkow Books

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow, Gerwin Klein

ISBN 13: 9783319357591

Format: Paperback (312 pages)
Publisher: Springer
Published: 10 Sep 2016

Save for later

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science)

by Jan Heering, Tobias Nipkow, Bernhard M??ller, Karl Meinke

ISBN 13: 9783540582335

Format: Paperback (360 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)

by Tobias Nipkow, Alexander Leitsch, Rajeev Gore

ISBN 13: 9783540422549

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)

by Tobias Nipkow, Henk Barendregt

ISBN 13: 9783540580850

Format: Paperback (404 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

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

by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

ISBN 13: 9783540433767

Format: Paperback (240 pages)
Publisher: Springer
Published: 03 Apr 2002

Save for later