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

Soeken - Formal Specification Level Concepts Methods and Algorithm - X555z

An Introduction to Formal Logic, Smith, Peter

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

An Introduction to Formal Logic, Smith, Peter

Formal Specification of Programming Lan- 9780133290523, hardcover, Frank G Pagan

An Introduction to Formal Logic, Smith, Peter

Introduction to Formal Languages by Revesz, Gyorgy E.; Mathematics