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

1

Cover is for reference only

Teaching formal methods：CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

Corporate Authors: CoLogNET/FME Symposium (2004 Ghent, Belgium; LINK Online service; TFM 2004 (2004 Ghent, Belgium)
Group Author: Dean C. Neville; Boute Raymond T
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.52-532/T253/2004

Book

2

Cover is for reference only

Theorem provers in circuit design：proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design : Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992

Corporate Authors: IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 Nijmegen)
Group Author: Stavridou V.; (Victoria); Melham T. F.; (Tom F.); Boute R. T.; (Raymond T.)
Published: North-Holland,
Publication Dates: 1992.
Call Number: TP331-53/I61.3/1992/

Book

3

Cover is for reference only

Declarative systems：proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988

Corporate Authors: IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems (1988 Budapest, Hungary); International Federal of Information Processing. Working Group 10.1.
Group Author: Dávid Gábor.; Boute R. T.; (Raymond T.); Shriver Bruce D., 1940-
Published: North-Holland Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1990.
Call Number: TP274-53/I61.14/1988/

Book

Narrow Search