phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč GLS courier 64 Kč Zásilkovna 44 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Theorem Proving in Higher Order Logics

Language EnglishEnglish
Book Paperback
Book Theorem Proving in Higher Order Logics Richard J. Boulton
Libristo code: 01563734
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2001
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th... Full description
? points 147 b
1 472 Kč včetně DPH
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

Applied Quantum Chemistry J. Angyan / Hardback
common.buy 8 622 Kč
Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter / Hardback
common.buy 1 189 Kč
Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin / Paperback
common.buy 4 463 Kč

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

About the book

Full name Theorem Proving in Higher Order Logics
Author Richard J. Boulton, Paul B. Jackson
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 402
EAN 9783540425250
ISBN 354042525X
Libristo code 01563734
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1270
Dimensions 155 x 233 x 23

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account