ID:DA02210809
Winter School on Abstract Software Specifications, Copenhagen
同姓同名の著者を検索
edited by D. Bjørner
Springer-Verlag 1980 Lecture notes in computer science 86
: gw , : us
所蔵館51館