Software Development with Z: A Practical Approach to Formal Methods in Software Engineering

Software Development with Z

A Practical Approach to Formal Methods in Software Engineering

1992 • 334 pages

We don't have a description for this book yet. You can help out the author by adding a description.


Become a Librarian

Reviews

Popular Reviews

Reviews with the most likes.

There are no reviews for this book. Add yours and it'll show up right here!