Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers

von: Egidio Astesiano · Gianna Reggio

Taschenbuch

ISBN: 978-3-662-17378-7

ISBN-10: 3-662-17378-6

Springer · 2014