 |
Book Search |
 |
News & Info |
|
TOP 10 BOOKS |
|
Samarendra Das £16.95 |
 |
|
Tom Leonard £9.00 |
|
|
Noam Chomsky £6.74 |
|
|
Richard Gott £18.75 |
|
|
Andy Wightman £7.49 |
|
|
Scottish Novels of the Second World War Isobel Murray £12.99 |
|
|
James Kelman £7.19 |
|
|
David Miller £24.99 |
|
|
Tom Leonard £11.99 |
|
|
Janice Galloway £11.04 |
|
Theorem Proving in Higher Order Logics
15th International Conference, Tphols 2002, Hampton, Va, USA, August 20-23, 2002. Proceedings
You are here: Computing & Internet > General Theory Of Computi... > Mathematical Theory Of Co...
|
Theorem Proving in Higher Order Logics
Paperback ISBN: 9783540440390
Availability:
Our Price: £42.99RRP £42.99
, Save £0.00
0 customer(s) reviewed this product
 
|
- Description
- Reviews
- Book Details
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.
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq.
| ISBN | 3540440399 |
| ISBN13 | 9783540440390 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Format | Paperback |
| Publication date | 07/08/2002 |
| Pages | 364 |
| Weight (grammes) | 511 |
| Published in | Germany |
| Height (mm) | 234 |
| Width (mm) | 156 |
|
Your Basket |
0 items.
Total £0.00
|
NEWSLETTER |
SIGN UP NOW! |
 |
|
Events |
|
Our Publications |
|
Platform |
