1.

図書

図書
Michael J.C. Gordon
出版情報: New York ; Berlin : Springer-Verlag, c1979
所蔵情報: loading…
2.

図書

図書
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 78
所蔵情報: loading…