Formal descriptions of Programming Concepts /
edited by Erich J. Neuhold and Manfred Paul
- Berlín : Springer-Verlag, 1994
- 507 páginas : 27 figuras y 33 tablas ; 18 x 26 centímetros
A practical introduction to denotational semantics / Peter D. Moses - Inductive and operational semantics / Egidio Artesiano - Specification and transformation Metodology aspects of the Vienna development method. Towards a meaning of M in VDM / Dines Bjorner - Algebraic specification: semantics, Parametrization and refinment / Martin Wirsing - Formalization of distributed, concurrent, reactive systems / Manfred Broy - Introduction to program verification / Krzystof R. Apt and Ernst-Rüdiger Olderog - Typeful programming / Luca Cardelli