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 Desi...

Tekijä IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Schneider, Hans-Jochen, International Federation for Information Processing
Julkaistu 1979.