ID:DA07998897
Workshop on Theory and Formal Methods, Imperial College Department of Computing
同姓同名の著者を検索
editors, A. Edalat, S. Jourdan, G. McCusker
Imperial College Press , Distributed by World Scientific c1996
所蔵館4館
editors, C. Hankin, I. Mackie, R. Nagarajan
Imperial College Press , Distributed by World Scientific c1995
Geoffrey Burn, Simon Gay and Mark Ryan (eds.)
Springer-Verlag c1993 Workshops in computing
: us : acid-free , : gw : acid-free
所蔵館11館