Recent Trends in Algebraic Development Techniques

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

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

Autor: Francesco Parisi-Presicce

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

213.28 zł

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

Informacje o książce

Autor

Francesco Parisi-Presicce

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1998

strony

444

EAN

9783540642992

ISBN

3540642994

Enbook ID

05274810

Wydawca

Springer, Berlin

Waga

578

Wymiary

156 x 234 x 23

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Recent Trends in Algebraic Development Techniques

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również