close
1.

図書
図書
1. Algebraic methods : theory, tools and applications ([1] : gw - 2 : us)
M. Wirsing, J.A. Bergstra, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989-c1991
シリーズ名: Lecture notes in computer science ; 394, 490
所蔵情報: loading…
2.

図書
図書
2. Algebraic specification
edited by J.A. Bergstra, J. Heering, P. Klint
出版情報: New York, N.Y. : ACM Press , Wokingham, England ; Tokyo : Addison-Wesley, c1989
シリーズ名: ACM Press frontier series
所蔵情報: loading…