Nipkow Tobias (117 results)

Feedback

You searched for:

Author: nipkow tobias

Edit your search

Stock Image

Isabelle/Hol: A Proof Assistant for Higher-Order Logic

Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus

Published by Springer, 2002

ISBN 10: 3540433767 ISBN 13: 9783540433767

Language: English

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Good

� 8.93
Convert currency

Free shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.83.

More buying choices from other sellers on AbeBooks

New offers from � 44.80

Used offers from � 8.85

Also find Softcover
Stock Image

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

Barendregt, Henk [Editor]; Nipkow, Tobias [Editor];

Published by Springer, 1994

ISBN 10: 3540580859 ISBN 13: 9783540580850

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 3.85
Convert currency

� 5.98 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

More buying choices from other sellers on AbeBooks

New offers from � 48.92

Used offers from � 9.83

Also find Softcover
Stock Image

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Misra, Jayadev [Editor]; Nipkow, Tobias [Editor]; Sekerinski, Emil [Editor];

Published by Springer, 2006

ISBN 10: 3540372156 ISBN 13: 9783540372158

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 36.25
Convert currency

� 5.98 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

More buying choices from other sellers on AbeBooks

New offers from � 62.23

Used offers from � 42.23

Also find Softcover
Stock Image

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)

Heering, Jan [Editor]; Meinke, Karl [Editor]; M�ller, Bernhard [Editor]; Nipkow, Tobias [Editor];

Published by Springer, 1994

ISBN 10: 3540582339 ISBN 13: 9783540582335

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 36.46
Convert currency

� 5.98 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. 0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.

More buying choices from other sellers on AbeBooks

New offers from � 48.92

Used offers from � 42.44

Also find Softcover
Stock Image

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

Nipkow, Tobias [Editor]

Published by Springer, 1998

ISBN 10: 354064301X ISBN 13: 9783540643012

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 37.01
Convert currency

� 5.98 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

More buying choices from other sellers on AbeBooks

New offers from � 48.92

Used offers from � 42.99

Also find Softcover
Stock Image

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

Gore, Rajeev,Leitsch, Alexander,Nipkow, Tobias

Published by Springer, 2001

ISBN 10: 3540422544 ISBN 13: 9783540422549

Language: English

Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Good

� 38.92
Convert currency

� 4.49 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized.

More buying choices from other sellers on AbeBooks

New offers from � 93.38

Used offers from � 43.41

Also find Softcover
Stock Image

Concrete Semantics: With Isabelle/HOL

Nipkow, Tobias; Klein, Gerwin

Published by Springer, 2016

ISBN 10: 331935759X ISBN 13: 9783319357591

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.93
Convert currency

� 2.99 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 48.92

Used offers from � 104.99

Also find Softcover
Stock Image

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)

Published by Springer, 2009

ISBN 10: 364203358X ISBN 13: 9783642033582

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.28
Convert currency

� 2.99 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.27

Used offers from � 134

Also find Softcover
Stock Image

Concrete Semantics: With Isabelle/HOL

Nipkow, Tobias; Klein, Gerwin

Published by Springer (edition 2014), 2014

ISBN 10: 3319105418 ISBN 13: 9783319105413

Language: English

Seller: BooksRun, Philadelphia, PA, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Hardcover
Condition: Very Good

� 49.44
Convert currency

Free shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Hardcover. Condition: Very Good. 2014. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.

More buying choices from other sellers on AbeBooks

New offers from � 73.21

Used offers from � 49.44

Also find Hardcover
Stock Image

Term Rewriting and All That

Baader, Franz; Nipkow, Tobias

Published by Cambridge University Press, 1999

ISBN 10: 0521779200 ISBN 13: 9780521779203

Language: English

Seller: MostlyAcademic, Berrima, NSW, Australia

Seller rating 3 out of 5 stars

Contact seller

Used - Softcover
Condition: As New

� 32.61
Convert currency

� 26.17 shipping from Australia to U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Soft cover. Condition: As New.

More buying choices from other sellers on AbeBooks

New offers from � 59.30

Used offers from � 58.78

Also find Softcover
Stock Image

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Published by Springer, 2014

ISBN 10: 3662171198 ISBN 13: 9783662171196

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.62
Convert currency

� 11.98 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New. In.

More buying choices from other sellers on AbeBooks

New offers from � 52.99

Also find Softcover
Stock Image

Term Rewriting and All That

Baader, Franz,Nipkow, Tobias

Published by Cambridge University Press, 1998

ISBN 10: 0521455200 ISBN 13: 9780521455206

Language: English

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Hardcover
Condition: Good

� 61.71
Convert currency

� 2.81 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

More buying choices from other sellers on AbeBooks

New offers from � 311.92

Used offers from � 64.52

Also find Hardcover
Stock Image

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

Henk Barendregt~Tobias Nipkow

Published by Springer, 1994

ISBN 10: 0387580859 ISBN 13: 9780387580852

Language: English

Seller: Bookmans, Tucson, AZ, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Good

� 80.32
Convert currency

� 2.99 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Good. minor shelf wear Satisfaction 100% guaranteed.

More buying choices from other sellers on AbeBooks

New offers from � 108.25

Used offers from � 83.31

Also find Softcover