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, 785)
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 364 ページ / 15.5 x 2.1 x 23.5 cm
ISBN-10: 3540578676 ISBN-13: 9783540578673