The Z formal specification notationde Jonathan P. BowenMateriasZ <Programmiersprache>Z (computer program language)Ediciones (1)ZUM'97: The Z Formal Specification Notation (1997)Springer · inglés · ISBN 9783540627173Más obras de Jonathan P. BowenThe Z formal specification notationZB 2003High-Integrity System Specification and Design