Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardwa

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, an