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

Recent Trends in Data Type Specification

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.24
The algebraic specification of abstract data types is now awell establishedresearch topic in compute...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1991
strony
384
EAN
9783540544968
ISBN
3540544968
Enbook ID
02092603
Waga
638
Wymiary
155 x 233 x 20

Pełny opis

The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.

Możesz być zainteresowany

Graysen's Reading Log

Martha Day Zschock
64.87

A Traveller from Altruria

William Dean Howells
102.90

Blockchain

Tony Scott
145.51

Rani of Rampur

Suneeta Misra
46.88

Washington Decree

Jussi Adler-Olsen
65.84

Cosmic Family, Volume II

Gabriel of Urantia-TaliasVan of Tora
145.51

Breasts

Florence Williams
112.44

Ethical Coaches' Handbook

Jonathan Passmore
206.50
85.88

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

Platine

Detambel
87.05
71.48

Sava&#351

James Risen
66.33

Ariza

Alberto Martín Cid
78.30

Spiknutí Ryšavého vlka

Robert von Stein Redick
58.74

Fletrissure

Nele Neuhaus
57.19

Remember 3D, Blu-ray

Christopher Donaldson
77.61

RAW

Nairod Vodali
45.71

Kalendář

Jan Barban
16.14