Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... (Lecture Notes in Computer Science, Band 785)

Computer

von: Hartmut Ehrig · Fernando Orejas

Taschenbuch

ISBN: 978-3-540-57867-3

ISBN-10: 3-540-57867-6

Springer · 2008