Kniha Recent Trends in Algebraic Development Techniques Francesco Parisi-Presicce

Recent Trends in Algebraic Development Techniques

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

Jazyk: Angličtina
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

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1998
Stránok
444
EAN
9783540642992
ISBN
3540642994
Enbook ID
05274810
Vydavateľ
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ť

Social Welfare

David Macarov
73.54
80.60

Run Away with Me

Taylor Holloway
13.60

System Theory

Theodore E. Djaferis
105.86
70.02

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

17.42

Tunisie

Michel Z'Raffa
10.57

Cohen

Thomas Kraft
9.98

Uhrzeiten-Quartett

Heiner Müller
7.43