Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.].
(Lecture notes in computer science) (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1)
国立国会図書館請求記号
M15-A3969
国立国会図書館書誌ID
000003123903
資料種別
図書
著者
Colloquium on Trees in Algebra and Programming (10th : 1985 : Berlin, Germany)ほか