The Way of Z Practical Programming with Formal Methods

Name: The Way of Z
ISBN: 9780521559768

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

In print

Ebook

Audiobook

Library

We may earn a commission. Learn more.

Reviews

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.