Formal models and practical tools for information systems design :
Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 /
edited by Hans-Jochen Schneider.
- Amsterdam ; New York : North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland,. 1979.
- ix, 297 p. ill. ; 23 cm.
"Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Processing."
Includes bibliographies.
0444853944
Information storage and retrieval systems--Congresses.
Formal languages--Congresses.
Computer programming--Congresses.
"Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Processing."
Includes bibliographies.
0444853944
Information storage and retrieval systems--Congresses.
Formal languages--Congresses.
Computer programming--Congresses.