The Specification of Complex Systems

Front Cover
Addison-Wesley, Jan 1, 1986 - Reference - 143 pages
0 Reviews
Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter Models and formal systems
15
an electronic office
23
Algebraic specification
30
Copyright

6 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information