ID:DA0680361X
Workshop on Formal Aspects of Measurement, BCS-FACS
同姓同名の著者を検索
Tim Denvir, Ros Herman, and R.W. Whitty (eds.)
Springer-Verlag c1992 Workshops in computing
所蔵館4館