Recent Trends in Algebraic Development Techniques | 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers. Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 1998
- Tapa blanda
- Nuevo
Imagen del artículo 1 de 2.
Librería: preigu, Osnabrück, Alemaniapreigu
Vendedor de 5 estrellas
Vendedor de AbeBooks desde 5 de agosto de 2024
No disponible
Tapa blanda
Condición: Nuevo
EUR 50,25
Descripción del artículo del vendedor
Recent Trends in Algebraic Development Techniques | 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers | Francesco Parisi-Presicce | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540642992 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
N° de ref. del artículo 101931196
- Título
- Recent Trends in Algebraic Development Techniques | 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
- Autor
- Francesco Parisi-Presicce
- Editorial
- Springer
- Año de publicación
- 1998
- Estado
- Neu
- Encuadernación
- Taschenbuch
- Idioma
- inglés
- ISBN 10
- 3540642994
- ISBN 13
- 9783540642992
- Peso del artículo
- 680 gramos
- Dimensiones
- 235 x 155 x 25 mm
- Catálogos de vendedores
- Bücher
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT ’98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.
“Sinopsis” puede pertenecer a otra edición de este título.
Reseña del editor
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.
“Acerca de” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Recent Trends in Algebraic Development Techniques | 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
Hay 2 copias más de este libroVer todos los resultados