Overview

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.

ISBN-13

9783540649878

ISBN-10

3540649875

Weight

1.45 Pounds

Dimensions

6.10 x 1.16 x 9.25 In

List Price

$54.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

ix, 496 pages

Publisher

Springer

Published On

1998-09-09



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$48.39

 Free delivery by: 03 Apr 2026

Used, Like New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$67.85

 Free delivery by: 03 Apr 2026


Bookstores.com relies on cookies to improve your experience.