phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Recent Trends in Data Type Specification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Recent Trends in Data Type Specification Hartmut Ehrig
Libristo kod: 02092603
Nakladnici Springer, Berlin, studeni 1990
The algebraic specification of abstract data types is now awell establishedresearch topic in compute... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

On the Edge of the Primeval Forest - Experiences and Observations of a Doctor in Equatorial Africa Schweitzer / Meki uvez
common.buy 31.77 €
Blockchain Tony Scott / Tvrdi uvez
common.buy 37.73 €
Molecular Mimicry: Infection Inducing Autoimmune Disease Michael Oldstone / Tvrdi uvez
common.buy 305.61 €
Interventions in Learning Disabilities Rachel Schiff / Tvrdi uvez
common.buy 153.66 €
Remember 3D, Blu-ray Christopher Donaldson / Blu-ray
common.buy 20.17 €
Hieroglyphics Jill Mccorkle / Tvrdi uvez
common.buy 24.21 €
Ordsprog og vendinger Hj / Meki uvez
common.buy 19.36 €

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.

Informacije o knjizi

Puni naziv Recent Trends in Data Type Specification
Autor Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1991
Broj stranica 384
EAN 9783540544968
ISBN 3540544968
Libristo kod 02092603
Nakladnici Springer, Berlin
Težina 638
Dimenzije 155 x 233 x 20

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Database design & theory
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun