Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings (IFIP State-of-the-Art Reports)

von: Erich J. Neuhold · Manfred Paul · K.R. Apt · E. Astesiano · D. Bjorner · M. Broy · L. Cardelli · P.D. Mosses Gebunden Details (Deutschland) ISBN-13: 978-3-540-53961-2 ISBN-10: 3-540-53961-1 Springer · 1991