Introducing specification using Z : a practical case study approach

Author(s)

Bibliographic Information

Introducing specification using Z : a practical case study approach

Bryan Ratcliff

(The McGraw-Hill international series in software engineering)

McGraw-Hill, c1994

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 257-258) and indexes

Related Books: 1-1 of 1

Details

Page Top