Buy Used and New Tobias Nipkow Books

Concrete Semantics: With Isabelle/HOL

by Tobias Nipkow,Gerwin Klein

ISBN 13: 9783319357591

Format: Paperback (311 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: 816 (Lecture Notes in Computer Science)

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

ISBN 13: 9783540582335

Format: Illustrated (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: 2083 (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: 806 (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: 2283 (Lecture Notes in Computer Science, 2283)

by Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel

ISBN 13: 9783540433767

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

Save for later