Skip to content
Vinony

Refinement in Z and Object-Z

by John Derrick, Eerke A. Boiten

Cover of Refinement in Z and Object-Z

No description available.

Z (Computer program language)Object-oriented programming (Computer science)
Refinement in Z and Object-Z by John Derrick, Eerke A. Boiten — book · Vinony