TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1

Front Cover
Springer-Verlag, 1989 - Computers - 389 pages

From inside the book

What people are saying - Write a review

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

Contents

enna Development Method VDM are formulated and briefly illustrated The paper is a summary
6
Denotatlonal and Computational Definitions
26
Hierarchical and Conflgurational Developments and Presentations
32
Copyright

33 other sections not shown

Common terms and phrases

Bibliographic information