UOWD Library

Normal view MARC view ISBD view

Wordsworth, J.B.

Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth. - Harlow, Essex : Addison-Wesley Longman, 1992. - xii, 334 p. : ill ; 24 cm.

Includes bibliographical references (p. 321-324) and index.



ISBN: 0201627574

Subjects--Topical Terms:
Z (Computer program language)
Computer software--Development.
Formal methods (Computer science)

Dewey Class. No.: 005.12 WO SO