
Fortæl dine venner om denne vare:
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
Hartmut Ehrig
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
Se alt med Hartmut Ehrig ( f.eks. Paperback Bog , Hardcover bog og Bog )