Könyv Recent Trends in Data Type Specification Michel Bidoit

Recent Trends in Data Type Specification

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 040 Ft
The algebraic specification of abstract data types has been a flourishing research topic in computer...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1993
oldal
346
EAN
9783540563792
ISBN
3540563792
Enbook ID
02092610
Súly
474
Méretek
155 x 233 x 19

Teljes leírás

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are:- specification languages and program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Érdekelheti

To Know You

Shannon Ethridge
6 107 Ft
5 062 Ft
10 416 Ft

Soldiers Die

Aaron Grunn
9 146 Ft

Peace Is a Lifestyle

LaDonna C. Osborn
2 287 Ft

Adventure

Giorgio (Accademia di Architettura di Mendrisio) Agamben
4 108 Ft
11 505 Ft

Marlena's Journal

Marlena Fearing
6 236 Ft

Social Life of the Chinese

Professor Justus Doolittle
10 416 Ft
198 281 Ft
17 914 Ft
30 166 Ft
28 071 Ft

Early Childhood Education

Cathy Nutbrown & Peter Clough
10 896 Ft

Riverrun

Alan Baker
4 933 Ft

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

Posledních padesát let

Tomáš Pospiszyl
3 777 Ft

Kompetenztest Biologie 2

Hans-Jürgen Seitz
5 920 Ft

Die weisen Frauen der Cherokee

Joyce Sequichie Hifler
11 965 Ft
5 196 Ft
53 722 Ft