Imagen de cubierta local
Formal descriptions of Programming Concepts / edited by Erich J. Neuhold and Manfred Paul
Tipo de material:
TextoDetalles 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
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
|
|
Libros
|
FIE - Biblioteca Savio | 004.42 / N28 (Navegar estantería(Abre debajo)) | Disponible | FIE26984 | ||
|
|
Libros
|
FIE - Biblioteca Savio | 004.42/ N28 / Ej. 2 (Navegar estantería(Abre debajo)) | 2 | Disponible | FIE26983 |
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
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.