Formal descriptions of Programming Concepts / edited by Erich J. Neuhold and Manfred Paul

Colaborador(es): Neuhold, Erich J. [editor] | Paul, Manfred [editor] | Apt, Krzysztof R. [Contribución] | Artesiano, Egidio [Contribución] | Bjorner, Dines [Contribución] | Broy, Manfred [Contribución] | Cardelli, Luca [Contribución] | Moses, Peter D. [Contribución] | Olderog, Ernst-Rüdiger [Contribución] | Wirsing, Martin [Contribución]Tipo de material: TextoTextoDetalles de publicación: Berlín : Springer-Verlag, 1994 Descripción: 507 páginas : 27 figuras y 33 tablas ; 18 x 26 centímetrosTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540539611Tema(s): INFORMÁTICA | PROGRAMACIÓN
Contenidos:
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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Valoración
    Valoración media: 0.0 (0 votos)