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

1

Cover is for reference only

Integrated formal methods：Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Corporate Authors: International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)
Group Author: Butler Michael, 1967-; Petre Luigia, 1974-; Sere K.; (Kaisa), 1954-
Published: Springer,
Publication Dates: c2002.
Call Number: TP311.5-532/I613/2002

Book

2

Cover is for reference only

FM 2008：formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (15th 2008 Turku, Finland); SpringerLink (Online service)
Group Author: Sere K.; (Kaisa), 1954-; Cuellar Jorge.; Maibaum Thomas S. E. 1947-
Published: Springer,
Publication Dates: c2008.

Book

3

Cover is for reference only

Dependability and computer engineering：concepts for software-intensive systems

Group Author: Petre Luigia, 1974- (editor.); Sere K. (editor.); (Kaisa), 1954- (editor.); Troubitsyna Elena, 1970-
Published: Engineering Science Reference,
Publication Dates: ©2012.
Call Number: TP302.7/D419

Book

4

Cover is for reference only

Program development by refinement：case studies using the B method

Group Author: Sekerinski E.; (Emil) 1963-; Sere K.; (Kaisa), 1954-
Published: Springer-Verlag,
Publication Dates: c1999.
Call Number: TP312B/P964

Book

Narrow Search