ZB 2003de Jonathan P. Bowen, Steve KingMateriasB (Computer program language)CongressesZ (Computer program language)Ediciones (1)ZB 2003: Formal Specification and Development in Z and B (2003)Springer · inglés · ISBN 9783540402534Más obras de Jonathan P. BowenThe Z formal specification notationHigh-Integrity System Specification and DesignThe Z formal specification notation