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

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