お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ   現在地から探す

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings Lecture notes in computer scienceに関係する本がみつかりませんでした。

カーリルローカルでも探してみましょう。