Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings (Lecture Notes in Computer Science, 534)

Wusterhausen

by: b Workshop on Specification of Abstract Data Types 1990 Wusterhausen · Klaus P. Jantke · Fernando Orejas · Hartmut Ehrig

Paperback

details (USA).

ISBN: 978-0-387-54496-0

ISBN-10: 0-387-54496-8

Springer Verlag · 1991