馆藏书目查询系统 - 上海图书馆

Author Results for Denvir Tim, 1939-

Cover is for reference only

FME '94：industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (2nd 1994 Barcelona
Group Author: Naftalin Maurice 1951-; Denvir Tim 1939-; Bertran Miquel
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP311.52-532/I61/1994/

Book

Cover is for reference only

Formal aspects of measurement：proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Corporate Authors: BCS-FACS Workshop on Formal Aspects of Measurement (1991 South Bank University)
Group Author: Denvir Tim, 1939-; Herman Ros.; Whitty R. W.; (Robin W.) 1960-
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP311-53/B862/1991/

Book

Narrow Search