Recent Trends in Algebraic Development Techniques

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

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

Szerző: Francesco Parisi-Presicce

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 373 Ft

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

Információk a könyvről

Szerző

Francesco Parisi-Presicce

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1998

oldal

444

EAN

9783540642992

ISBN

3540642994

Enbook ID

05274810

Kiadó

Springer, Berlin

Súly

578

Méretek

156 x 234 x 23

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Recent Trends in Algebraic Development Techniques

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták