Publication year: 2008
: 978-3-540-71067-7
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
: Computer Science / Programming Languages, Compilers, Interpreters / Computer System Implementation / Software Engineering / Programming and Operating Systems / Mathematical Logic and Formal Languages / Logics and Meanings of Programs / Software Engineering