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 |
Navegando FIE - Biblioteca Savio Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
004.42 / M16 / Ej. 3 Elementos de computación y programación Basic y Fortran / | 004.42 / M29 / 1997 Object-oriented software construction / | 004.42 / M31 Microsoft MS-DOS operating system : programmer's reference manual | 004.42 / N28 Formal descriptions of Programming Concepts / | 004.42/ N28 / Ej. 2 Formal descriptions of Programming Concepts / | 004.42 / P65 Program Line Editor / | 004.42 / P67 Autómatas programables : fundamento, manejo, instalción y prácticas / |
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
No hay comentarios en este titulo.