Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science (1130), Band 1130)

von: Ole-Johan Dahl · Olaf Owe · Magne Haveraaen Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-61629-0 ISBN-10: 3-540-61629-2 Springer · 2008