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 / 14 libraries

Any AreasAny Libraries

Search this Book/Journal

Note

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

Related Books: 1-1 of 1

Details

Page Top