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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540544968 - 11. september 1991
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 18. aug.
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. september 1991
ISBN13 9783540544968
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 384
Mål 155 × 233 × 20 mm   ·   553 g
Sprog Tysk  
Klipper/redaktør Ehrig, Hartmut
Klipper/redaktør Jantke, K.p.
Klipper/redaktør Orejas, Fernando
Klipper/redaktør Reichel, Horst

Vis alle

Mere med Hartmut Ehrig