ID:DA10385127
同姓同名の著者を検索
Peter W. O'Hearn, Robert D. Tennent, editors
Birkhauser c1997 Progress in theoretical computer science
v. 1 , v. 2
所蔵館14館