TY  - BOOK
AU  - Neuhold, Erich J.
AU  - Paul, Manfred
AU  - Apt, Krzysztof R.
AU  - Artesiano, Egidio
AU  - Bjorner, Dines
AU  - Broy, Manfred
AU  - Cardelli, Luca
AU  - Moses, Peter D.
AU  - Olderog, Ernst-Rüdiger
AU  - Wirsing, Martin
TI  - Formal descriptions of Programming Concepts / 
SN  - 3540539611
PY  - 1994///
CY  - Berlín : 
PB  - Springer-Verlag, 
KW  - INFORMÁTICA
KW  - PROGRAMACIÓN
N1  - 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
ER  -