close
1.

図書
図書
1. Theoretical aspects of object-oriented programming : types, semantics, and language design
edited by Carl A. Gunter and John C. Mitchell
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
2.

図書
図書
2. Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings (: gw ; : us)
Masami Hagiya, John C. Mitchell, eds
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 789
所蔵情報: loading…