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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540544968 - September 11, 1991
In case cover and title do not match, the title is correct

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

Price
£ 41.49
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 1 - 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released September 11, 1991
ISBN13 9783540544968
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 233 × 20 mm   ·   553 g
Language German  
Editor Ehrig, Hartmut
Editor Jantke, K.p.
Editor Orejas, Fernando
Editor Reichel, Horst
Show all

More by Hartmut Ehrig

See all of Hartmut Ehrig ( e.g. Paperback Book , Hardcover Book and Book )