Derek Andrews

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

: pbk.

所蔵館13館

D.J. Andrews, J.F. Groote, and C.A. Middelburg

Springer-Verlag : Published in collaboration with the British Computer Society c1994 Workshops in computing

:us , :gw

所蔵館14館

C.L.N. Ruggles, (ed.) ; principal contributors: Derek Andrews ... [et. al.]

Springer-Verlag c1990

所蔵館5館

edited by Darrel Ince, Derek Andrews

Butterworths 1990

所蔵館5館

Derek Andrews and Michael Greenhalgh

Leicester University Press 1987

所蔵館1館

Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews [et al.]

Prentice-Hall International c1982 Prentice-Hall International series in computer science

所蔵館14館