S.J. Goldsack and S.J.H. Kent, eds.

Springer c1996 Formal approaches to computing and information technology (FACIT)

所蔵館8館

edited by S.J. Goldsack

Published on behalf of the Commission of the European Communities by Cambridge University Press 1985 The Ada companion series

所蔵館7館