Books By Nipkow, Tobias

1.

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Author:: Nipkow, Tobias
Paulson, Lawrence C.
Wenzel, Markus

ISBN:: 978-3-540-43376-7

Book Format:: Paperback

List Price:: USD $59.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Apr 2002

2.

Concrete Semantics

With Isabelle/Hol

Author:: Nipkow, Tobias
Klein, Gerwin

ISBN:: 978-3-319-35759-1

Book Format:: Paperback

List Price:: USD $59.99USD $54.99

Publisher:: Springer International Publishing AG

Publication Date:: Sep 2016

3.

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, HOA '93,...

ISBN:: 978-3-540-48579-7

Book Format:: Ebook

List Price:: USD $109.00

Publisher:: Springer

Publication Date:: Jan 2006

4.

Concrete Semantics

With Isabelle/Hol

Author:: Nipkow, Tobias
Klein, Gerwin

ISBN:: 978-3-319-35759-1

Book Format:: Paperback

List Price:: AUD $133.95

Publisher:: Springer

Publication Date:: Sep 2016

5.

Concrete Semantics

With Isabelle/HOL

Author:: Nipkow, Tobias
Klein, Gerwin

ISBN:: 978-3-319-10542-0

Book Format:: Ebook

List Price:: USD $79.99

Publisher:: Springer International Publishing AG

Publication Date:: Dec 2014

6.

Term Rewriting and All That

Author:: Baader, Franz
Nipkow, Tobias

ISBN:: 978-1-316-04385-1

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

7.

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009,...

ISBN:: 978-3-642-03358-2

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Aug 2009

8.

Formal Logical Methods for System Security and Cor... - a book by Grumberg, Orna

Formal Logical Methods for System Security and Correctness

Author:: Grumberg, Orna
Nipkow, Tobias
Pfaller, Christian

ISBN:: 978-1-4356-7788-3

Book Format:: Ebook

List Price:: USD $161.00

Publisher:: Ebsco Publishing

Publication Date:: Jan 2008

9.

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009,...

ISBN:: 978-3-642-03359-9

Book Format:: Ebook

List Price:: USD $139.00

Publisher:: Springer

Publication Date:: Aug 2009

10.

FM 2006 - Formal Methods

14th International Symposium on Formal...

ISBN:: 978-3-540-37215-8

Book Format:: Paperback

List Price:: AUD $226.95

Publisher:: Springer

Publication Date:: Jan 2006

11.

Types for Proofs and Programs

International Workshop TYPES '93, Nijmegen,...

ISBN:: 978-3-540-48440-0

Book Format:: Ebook

List Price:: USD $109.00

Publisher:: Springer

Publication Date:: Jan 2006

12.

Term Rewriting and All That

Author:: Baader, Franz
Nipkow, Tobias

ISBN:: 978-1-139-17275-2

Book Format:: Digital (delivered electronically)

List Price:: USD $225.00

Publisher:: Cambridge University Press

Publication Date:: Jun 2012

13.

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Author:: Nipkow, Tobias
Paulson, Lawrence C.
Wenzel, Markus

ISBN:: 978-3-540-45949-1

Book Format:: Ebook

List Price:: USD $69.95

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Jul 2003

14.

Types for Proofs and Programs

International Workshop TYPES '93, Nijmegen,...

ISBN:: 978-0-387-58085-2

Book Format:: Paperback

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Jun 1994

15.

Term Rewriting and All That

Author:: Baader, Franz
Nipkow, Tobias

ISBN:: 978-0-521-77920-3

Book Format:: Paperback

List Price:: AUD $86.95

Publisher:: Cambridge University Press

Publication Date:: Aug 1999

16.

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009,...

ISBN:: 978-3-642-03358-2

Book Format:: Paperback

List Price:: AUD $218.95

Publisher:: Springer

Publication Date:: Aug 2009

17.

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Author:: Nipkow, Tobias
Paulson, Lawrence C.
Wenzel, Markus

ISBN:: 978-3-540-43376-7

Book Format:: Paperback

List Price:: AUD $112.95

Publisher:: Springer

Publication Date:: Jan 2002

18.

Concrete Semantics

A Proof Assistant Approach

Author:: Nipkow, Tobias
Klein, Gerwin

ISBN:: 978-3-319-10541-3

Book Format:: Hardback

List Price:: AUD $133.95

Publisher:: Springer

Publication Date:: Dec 2014

19.

FM 2006: Formal Methods

14th International Symposium on Formal...

ISBN:: 978-3-540-37216-5

Book Format:: Ebook

List Price:: USD $149.00

Publisher:: Springer London, Limited

Publication Date:: Aug 2006

20.

Term Rewriting and All That

Author:: Baader, Franz
Nipkow, Tobias

ISBN:: 978-1-316-04385-1

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Books » Nipkow, Tobias Books » Books By Nipkow, Tobias

Related Keywords

Refine Options

Featured Books


1.		Isabelle/HOL A Proof Assistant for Higher-Order Logic Author: Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus ISBN: 978-3-540-43376-7 Book Format: Paperback List Price: USD $59.99 Publisher: Springer Berlin / Heidelberg Publication Date: Apr 2002 Quantity Note

2.		Concrete Semantics With Isabelle/Hol Author: Nipkow, Tobias Klein, Gerwin ISBN: 978-3-319-35759-1 Book Format: Paperback List Price: USD $59.99USD $54.99 Publisher: Springer International Publishing AG Publication Date: Sep 2016 Quantity Note

3.		Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, HOA '93,... ISBN: 978-3-540-48579-7 Book Format: Ebook List Price: USD $109.00 Publisher: Springer Publication Date: Jan 2006 Quantity Note

4.		Concrete Semantics With Isabelle/Hol Author: Nipkow, Tobias Klein, Gerwin ISBN: 978-3-319-35759-1 Book Format: Paperback List Price: AUD $133.95 Publisher: Springer Publication Date: Sep 2016 Quantity Note

5.		Concrete Semantics With Isabelle/HOL Author: Nipkow, Tobias Klein, Gerwin ISBN: 978-3-319-10542-0 Book Format: Ebook List Price: USD $79.99 Publisher: Springer International Publishing AG Publication Date: Dec 2014 Quantity Note

6.		Term Rewriting and All That Author: Baader, Franz Nipkow, Tobias ISBN: 978-1-316-04385-1 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Quantity Note

7.		Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009,... ISBN: 978-3-642-03358-2 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Aug 2009 Quantity Note

8.		Formal Logical Methods for System Security and Correctness Author: Grumberg, Orna Nipkow, Tobias Pfaller, Christian ISBN: 978-1-4356-7788-3 Book Format: Ebook List Price: USD $161.00 Publisher: Ebsco Publishing Publication Date: Jan 2008 Quantity Note

9.		Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009,... ISBN: 978-3-642-03359-9 Book Format: Ebook List Price: USD $139.00 Publisher: Springer Publication Date: Aug 2009 Quantity Note

10.		FM 2006 - Formal Methods 14th International Symposium on Formal... ISBN: 978-3-540-37215-8 Book Format: Paperback List Price: AUD $226.95 Publisher: Springer Publication Date: Jan 2006 Quantity Note

11.		Types for Proofs and Programs International Workshop TYPES '93, Nijmegen,... ISBN: 978-3-540-48440-0 Book Format: Ebook List Price: USD $109.00 Publisher: Springer Publication Date: Jan 2006 Quantity Note

12.		Term Rewriting and All That Author: Baader, Franz Nipkow, Tobias ISBN: 978-1-139-17275-2 Book Format: Digital (delivered electronically) List Price: USD $225.00 Publisher: Cambridge University Press Publication Date: Jun 2012 Quantity Note

13.		Isabelle/HOL A Proof Assistant for Higher-Order Logic Author: Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus ISBN: 978-3-540-45949-1 Book Format: Ebook List Price: USD $69.95 Publisher: Springer Berlin / Heidelberg Publication Date: Jul 2003 Quantity Note

14.		Types for Proofs and Programs International Workshop TYPES '93, Nijmegen,... ISBN: 978-0-387-58085-2 Book Format: Paperback List Price: Contact Supplier contact Publisher: Springer Publication Date: Jun 1994 Quantity Note

15.		Term Rewriting and All That Author: Baader, Franz Nipkow, Tobias ISBN: 978-0-521-77920-3 Book Format: Paperback List Price: AUD $86.95 Publisher: Cambridge University Press Publication Date: Aug 1999 Quantity Note

16.		Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009,... ISBN: 978-3-642-03358-2 Book Format: Paperback List Price: AUD $218.95 Publisher: Springer Publication Date: Aug 2009 Quantity Note

17.		Isabelle/HOL A Proof Assistant for Higher-Order Logic Author: Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus ISBN: 978-3-540-43376-7 Book Format: Paperback List Price: AUD $112.95 Publisher: Springer Publication Date: Jan 2002 Quantity Note

18.		Concrete Semantics A Proof Assistant Approach Author: Nipkow, Tobias Klein, Gerwin ISBN: 978-3-319-10541-3 Book Format: Hardback List Price: AUD $133.95 Publisher: Springer Publication Date: Dec 2014 Quantity Note

19.		FM 2006: Formal Methods 14th International Symposium on Formal... ISBN: 978-3-540-37216-5 Book Format: Ebook List Price: USD $149.00 Publisher: Springer London, Limited Publication Date: Aug 2006 Quantity Note

20.		Term Rewriting and All That Author: Baader, Franz Nipkow, Tobias ISBN: 978-1-316-04385-1 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Quantity Note