Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
The algebraic specification of abstract data types is now awell establishedresearch topic in compute...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1991
Stránek
384
EAN
9783540544968
ISBN
3540544968
Enbook ID
02092603
Vydavatel
Hmotnost
638
Rozměry
155 x 233 x 20

Kompletní popis

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.

Mohlo by vás zajímat

Graysen's Reading Log

Martha Day Zschock
347

A Traveller from Altruria

William Dean Howells
559

Blockchain

Tony Scott
791

Rani of Rampur

Suneeta Misra
254

Washington Decree

Jussi Adler-Olsen
351

Cosmic Family, Volume II

Gabriel of Urantia-TaliasVan of Tora
791

Breasts

Florence Williams
642

Ethical Coaches' Handbook

Jonathan Passmore
1 125

Zákaznicí kteří koupili tuto knihu koupili také

Platine

Detambel
498

Sava&#351

James Risen
359

Ariza

Alberto Martín Cid
447

Spiknutí Ryšavého vlka

Robert von Stein Redick
330

Fletrissure

Nele Neuhaus
327

Remember 3D, Blu-ray

Christopher Donaldson
422

RAW

Nairod Vodali
245

Kalendář

Jan Barban
97