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

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