Książka Recent Trends in Data Type Specification Hartmut Ehrig

Recent Trends in Data Type Specification

9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
Research in the area of abstract data types started about 20 years ago. Since then there has been co...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2007
strony
356
EAN
9783540578673
ISBN
3540578676
Enbook ID
01565791
Waga
550
Wymiary
155 x 235 x 19

Pełny opis

Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.

Możesz być zainteresowany

Ergodic Theory Entropy

Meir Smorodinsky
119.25

Foster

KEEGAN CLAIRE
64.93
80.02
82.55

Second Life

Emily Reese
60.84

Beyond The Dyad

Michael Lewis
634.56

Reading Group

Fay Weldon
62.49

Reimagining Culture

Sharon Macdonald
859.75

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

114.00

Szimon

Narine Abgarjan
45.16
44.39

Mega-Wissen. Natur

DK Verlag - Kids
93.65
41.46