close
1.

図書
図書
1. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 (: gw ; : us)
edited by Gilles Kahn
出版情報: Berlin : Springer-Verlag, 1979  vi, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 70
所蔵情報: loading…
2.

図書
図書
2. Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970
edited by Randall Rustin
出版情報: Englewood, Cliffs, N.J. : Prentice-Hall, c1972  248 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
3.

図書
図書
3. Symposium on semantics of algorithmic languages : [papers] (: Germany ; : U.S.)
edited by E. Engeler
出版情報: Berlin ; New York : Springer-Verlag, 1971  372 p ; 26 cm
シリーズ名: Lecture notes in mathematics ; 188
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼