Introduction to Formal Hardware Verification, Kropf, Thomas, 9783642084775

Introduction to Formal Hardware Verification by

Introduction to Formal Hardware Verification. Thomas Kropf HB/G+

The Discovery of Deduction Introduction to Formal Logic Student & Teacher Guides

An Introduction to Formal Logic, Smith, Peter

Introduction Formal Specification And Z (2nd Edition) (Prentice-

Traditional Logic: Introduction to Formal Logic Teacher Key and DVD