Stock image for illustration purposes only - book cover, edition or condition may vary.
Theorem Proving in Higher Order Logics
. Ed(S): Grundy, Jim; Newey, Malcolm
€ 70.85
FREE Delivery in Ireland
Description for Theorem Proving in Higher Order Logics
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.
Product Details
Format
Paperback
Publication date
1998
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
505
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
496
Place of Publication
Berlin, Germany
ISBN
9783540649878
SKU
V9783540649878
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theorem Proving in Higher Order Logics