Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... Notes in Computer Science (655), Band 655)

Christine

von: Christine Choppy · Michel Bidoit

Taschenbuch

EAN=ISBN-13: 978-3-540-56379-2

ISBN-10: 3-540-56379-2

Springer · 2008