BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as
Stock photo: cover may vary

Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17 Paperback - 2014

by Gerwin Klein (Editor); Ruben Gamboa (Editor)

Add to wish list

Reader reviews for Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17

From the publisher

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Details

  • Title Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17
  • Author Gerwin Klein (Editor); Ruben Gamboa (Editor)
  • Binding Paperback
  • Pages 555
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2014-08-01
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783319089690 / 3319089692
  • Weight 1.77 lbs (0.80 kg)
  • Dimensions 9.21 x 6.14 x 1.17 in (23.39 x 15.60 x 2.97 cm)
  • Category Mathematics
  • Dewey Decimal Code 005.1

More Copies for Sale

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna...

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$104.66
A$15.50 Delivery to USA
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna...
Stock photo: cover may vary

Show details

Description:
new.
Add to wish list
Item price
A$89.69
A$5.85 Delivery to USA
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna...
Stock photo: cover may vary

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

by Klein, Gerwin

  • New
  • Paperback
Condition
New
Edition
2014
Binding
Paperback
ISBN 10 / ISBN 13
9783319089690 / 3319089692
Quantity available
6
Seller
Item price
A$95.56
Free Delivery to USA

Show details

Description:
Springer, 2014-08-01. 2014. paperback. New. 6.10x1.31x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$95.56
Free Delivery to USA
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna...
Stock photo: cover may vary

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

by Klein, Gerwin (Edited by)/ Gamboa, Ruben (Edited by)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783319089690 / 3319089692
Quantity available
2
Seller
Item price
A$137.48
A$29.09 Delivery to USA

Show details

Description:
Springer, 2014. Paperback. New. 2014 edition. 570 pages. 9.25x6.10x1.40 inches.
Add to wish list
Item price
A$137.48
A$29.09 Delivery to USA
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna...
Stock photo: cover may vary

Show details

Description:
like new.
Add to wish list
Item price
A$122.36
A$5.85 Delivery to USA
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna...
Stock photo: cover may vary

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

by Klein, Gerwin

  • Used
  • Paperback
Condition
Used
Edition
2014
Binding
Paperback
ISBN 10 / ISBN 13
9783319089690 / 3319089692
Quantity available
1
Seller
Item price
A$128.23
Free Delivery to USA

Show details

Description:
Springer, 2014-08-01. 2014. paperback. Used: Good. 6.10x1.31x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$128.23
Free Delivery to USA
Interactive Theorem Proving
Stock photo: cover may vary

Interactive Theorem Proving

  • New
Condition
New
ISBN 10 / ISBN 13
9783319089690 / 3319089692
Quantity available
4
Seller
Item price
A$147.53
A$5.85 Delivery to USA

Show details

Description:
Springer , pp. 580 . Papeback. New.
Add to wish list
Item price
A$147.53
A$5.85 Delivery to USA