The Object-Z specification language

Name: The Object-Z specification language
Author: Graeme Smith

Cover of The Object-Z specification language

No description available.

Object-oriented programming (Computer science)Z (Computer program language)Object-oriented programming (computer science)Z (computer program language)Object-oriented programmingOther programming languages