Wordsworth, J. B.
Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth. - Wokingham, UK : Addison-Wesley , cop. 1992 . - XII, 334 p. : il. ; 24 cm. - (International computer science series)
ISBN 0-201-62757-4
Z (Linguagem de programação)
Software
LCC QA76.73
Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth. - Wokingham, UK : Addison-Wesley , cop. 1992 . - XII, 334 p. : il. ; 24 cm. - (International computer science series)
ISBN 0-201-62757-4
Z (Linguagem de programação)
Software
LCC QA76.73