Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science - Hartmut Ehrig - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540544968 - keskiviikko 11. syyskuuta 1991
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science

Hartmut Ehrig

Hinta
zł 223,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 13. - 21. elo
Lisää iMusic-toivelistallesi
Eller

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science

Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.


384 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 11. syyskuuta 1991
ISBN13 9783540544968
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 384
Mitta 155 × 233 × 20 mm   ·   553 g
Kieli German  
Toimittaja Ehrig, Hartmut
Toimittaja Jantke, K.p.
Toimittaja Orejas, Fernando
Toimittaja Reichel, Horst

Näytä kaikki

Lisää tuotteita Hartmut Ehrig