ID:DA0134634X
VDM
同姓同名の著者を検索
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
Springer-Verlag c1990 Lecture notes in computer science 428
: gw , : us
所蔵館57館
R. Bloomfield, L. Marshall, R. Jones (eds.)
Springer-Verlag c1988 Lecture notes in computer science 328
所蔵館54館
edited by D. Bjørner ... [et al.]
Springer-Verlag c1987 Lecture notes in computer science 252
