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

1

Cover is for reference only

Advanced functional programming：Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures

Group Author: Swierstra S. Doaitse.; Henriques Pedro R.; Oliveira José N.
Published: Springer,
Publication Dates: c1998.
Call Number: TP311-532/I61.3/1998

Book

2

Cover is for reference only

FME 2001：formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany
Group Author: Oliveira José N; Zave Pamela 1948-
Published: Springer,
Publication Dates: 2001.
Call Number: TP311.52-532/I61/2001

Book

3

Cover is for reference only

Mathematics of program construction：5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Corporate Authors: International Conference on the Mathematics of Program Construction (5th 2000 Ponte de Lima, Portugal
Group Author: Backhouse Roland C 1948-; Oliveira José N
Published: Springer,
Publication Dates: c2000.
Call Number: TP301.6-532/M426.1/2000

Book

4

Cover is for reference only

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /

Corporate Authors: International Symposium of Formal Methods Europe Porto, Portugal
Group Author: Beek, Maurice H. ter; McIver, Annabelle; Oliveira, José N
Published: Springer,
Publication Dates: [2019]
Call Number: TP30-532/I61/2019

Book

5

Cover is for reference only

Perspectives on chemical biography in the 21st century /

Group Author: Morris, Peter J. T. (Peter John Turnbull), 1956- (Editor); Malaquias, Isabel M. (Editor)
Published: Cambridge Scholars Publishing,
Publication Dates: 2019.
Call Number: K816.13/P467

Book

Narrow Search