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

By Hartmut Ehrig

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.

• Format: Paperback
• Language: English
• ISBN: 3540544968
• ISBN13: 9783540544968
• Release Date: September 1991
• Publisher: Springer
• Length: 384 Pages
• Weight: 1.22 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"