Springer
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee
Product Code:
9783540544968
ISBN13:
9783540544968
Condition:
New
$61.47
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee
$61.47
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.
| Author: Hartmut Ehrig |
| Publisher: Springer |
| Publication Date: Sep 11, 1991 |
| Number of Pages: 384 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540544968 |
| ISBN-13: 9783540544968 |
Related Products
