Skip to content

Theorem Proving in Higher Order Logics: 15th International Conference, Tphols
Stock Photo: Cover May Be Different

Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings Paperback - 2002 - 2002nd Edition

by Victor A. Carreno (Editor); Cesar A. Munoz (Editor); Sofiene Tahar (Editor)


First line

Details

  • Title Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings
  • Author Victor A. Carreno (Editor); Cesar A. Munoz (Editor); Sofiene Tahar (Editor)
  • Binding Paperback
  • Edition number 2002nd
  • Edition 2002
  • Pages 347
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2002-08-07
  • ISBN 9783540440390 / 3540440399
  • Weight 1.86 lbs (0.84 kg)
  • Dimensions 11 x 8.5 x 0.75 in (27.94 x 21.59 x 1.91 cm)
  • Library of Congress Catalog Number 2002029204
  • Dewey Decimal Code 004.015
Back to Top

More Copies for Sale

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA,...
Stock Photo: Cover May Be Different

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science)

by Carreno, Victor A. [Editor]; Munoz, Cesar A. [Editor]; Tahar, Sofiene [Editor];

  • Used
  • Very Good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540440390 / 3540440399
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$46.99
$5.99 shipping to USA

Show Details

Description:
Springer, 2002-09-17. Paperback. Very Good. 8x0x11. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
$46.99
$5.99 shipping to USA
Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA,...

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

by Victor A. Carreno

  • New
Condition
New
ISBN 10 / ISBN 13
9783540440390 / 3540440399
Quantity Available
402
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$68.39
$10.29 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings.
Item Price
$68.39
$10.29 shipping to USA
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA,...
Stock Photo: Cover May Be Different

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

by Victor A. Carreno

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540440390 / 3540440399
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$76.02
$12.81 shipping to USA

Show Details

Description:
Paperback / softback. New. Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics held in the USA in 2002. The 20 papers cover issues in HOL theorem proving and formal verification of software and hardware systems, evaluating Isabelle/HOL, Isabelle/Isar and Coq.
Item Price
$76.02
$12.81 shipping to USA