Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer, Berlin
SKU: 9783540642992
Price: 50.04 EUR
Availability: InStock

12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997. Selected Papers

Autor: Francesco Parisi-Presicce

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.04 €

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Work...

Informácie o knihe

Autor

Francesco Parisi-Presicce

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1998

Stránok

444

EAN

9783540642992

ISBN

3540642994

Enbook ID

05274810

Vydavateľ

Springer, Berlin

Hmotnosť

578

Rozmery

156 x 234 x 23

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Recent Trends in Algebraic Development Techniques

12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997. Selected Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež