S. Abramsky, T.S.E. Maibaum, (eds.)
Springer-Verlag
c1991
Lecture notes in computer science
494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
: gw , : us
所蔵館53館