Recent Trends in Algebraic Development Techniques

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

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

Autor: Francesco Parisi-Presicce

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Francesco Parisi-Presicce

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1998

Stránek

444

EAN

9783540642992

ISBN

3540642994

Enbook ID

05274810

Vydavatel

Springer, Berlin

Hmotnost

578

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Recent Trends in Algebraic Development Techniques

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také