Explore the latest books of this year!
Bookbot

A mechanized logical model of Z and object oriented specification

Book purchase

A mechanized logical model of Z and object oriented specification, Thomas Santen

Language
Released
2000
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating