お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
Hankin, Chris/Mackie, I./Nagarajan, R./Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England)