Recent Trends in Algebraic Development Techniques

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

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

Автор: Francesco Parisi-Presicce

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

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

Информация за книгата

Автор

Francesco Parisi-Presicce

Език

Английски език

Корици

Книга - С меки корици

Издадена

1998

страници

444

EAN

9783540642992

ISBN

3540642994

Enbook ID

05274810

Издател

Springer, Berlin

Теглоt

578

Размери

156 x 234 x 23

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Recent Trends in Algebraic Development Techniques

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също