The way of Z practical programming with formal methods

Main Author: Jacky, Jonathan (Author)
Format: Book
Published: Cambridge, UK: Cambridge University Press, 1997.
Subjects:

Similar Items