Description:
Springer, 2002-09-17. Paperback. Very Good. 8x0x11. Ex-library paperback in very nice condition with the usual markings and attachments.
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
More Copies for Sale
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
- Item Price
-
$46.99$5.99 shipping to USA
Show Details
Item Price
$46.99
$5.99
shipping to USA
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
- 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
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
- 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