Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... Notes in Computer Science (906), Band 906)

von: Gianna Reggio · Egidio Astesiano · Andrzej Tarlecki Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-59132-0 ISBN-10: 3-540-59132-X Springer · 2008