Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave (Lecture Notes in Computer Science, 785)

Malavella

by: Workshop on Specification of Abstract Data Types 1992 Caldes De malav · Hartmut Ehrig · Spain) Compass Workshop 1992 (Caldes De Malavella

Paperback

ISBN: 978-0-387-57867-5

ISBN-10: 0-387-57867-6

Springer Verlag · 1994