Skip to main content alibris logo

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

by , ,

Write The First Customer Review
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings - Ehrig, Hartmut (Editor), and Jantke, Klaus P (Editor), and Orejas, Fernando (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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.

loading
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings 1991, Springer, Berlin, Heidelberg

ISBN-13: 9783540544968

1991 edition

Trade paperback