Software development with Z : a practical approach to formal methods in software engineering

Bibliographic Information

Software development with Z : a practical approach to formal methods in software engineering

J.B. Wordsworth

(International computer science series)

Addison-Wesley Pub. Co., 1992

Available at  / 14 libraries

Search this Book/Journal

Note

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

Related Books: 1-1 of 1

Details

Page Top