Formal models and practical tools for information systems design: Proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools ... Design, Oxford, U.K., April 17-20, 1979 - Hardcover

Hans-Jochen Schneider

 
9780444853943: Formal models and practical tools for information systems design: Proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools ... Design, Oxford, U.K., April 17-20, 1979