Information processing 80: proceedings of IFIP Congress 80, Tokyo, Japan. October 6-9, 1980, Melbourne, Australia, October 14-17, 1980

Front Cover

From inside the book

What people are saying - Write a review

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

Contents

The Vienna Development Method VDM and its Use for the Specification of a Relational Data Base System
3
An Algebraic Overview
17
Developments in the Theory of Regular Languages
29
Copyright

134 other sections not shown

Common terms and phrases

Bibliographic information