Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992 - Author

Higher Order Logic Theorem Proving and its Applications

Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992

By: Author

eText | 23 May 2014 | Edition Number 1

At a Glance

eText

$220.00

or 4 interest-free payments of $55.00 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed.

Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system.

Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic.

Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.DatabasesData Capture & AnalysisComputer Programming & Software DevelopmentProgramming & Scripting LanguagesComputer ScienceComputer Architecture & Logic DesignMathematicsMathematical FoundationMathematical LogicComputer Hardware
Engineering & TechnologyElectronics & Communications EngineeringElectronics Engineering

More in Computer Architecture & Logic Design

Quantum Computing - Alex Wood

eBOOK

Quantum Computing

eBook

$15.99

Think Distributed Systems - Dominik Tornow

eBOOK

Think Distributed Systems

eBook

$44.99

File System Forensics - Fergus Toolan

eBOOK

File System Forensics

eBook

$186.99

This product is categorised by