Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Hartmut Ehrig | Klaus P. Jantke | Fernando Orejas | Horst Reichel
Computers / Programming / General
This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.
| Publication Date: | 11 September 1991 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540544968 |
| Format: | Paperback / softback |
| Page Count: | 384 |