Order Specifications - Blended On Amazon.com _{Check eBay.com!}

BOOK
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Markus Wenzel
$51.20

About this product:
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory. Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.

BOOK
The Plant Breeders' Rights (Farm Saved Seed) (Specification of Species and Groups) Order 1998 (Statutory Instruments: 1998: 1025)
Great Britain

About this product:

BOOK
Fair Employment (Specification of Public Authorities) (Amendment No. 2) Order (Northern Ireland) 1995 (Statutory Rule: 1995: 430)

About this product: