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

1

Cover is for reference only

Mathematical frameworks for component software：models for analysis and synthesis

Group Author: Liu Zhiming 1961-; He Jifeng 1943-
Published: World Scientific,
Publication Dates: c2006.
Call Number: TP311/M426

Book

2

Cover is for reference only

Foundations of health informatics engineering and systems：first International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised selected papers

Corporate Authors: FHIES 2011 (2012 Johannesburg, South Africa); SpringerLink (Online service)
Group Author: Wassyng Alan.; Liu Zhiming, 1961-
Published: Springer,
Publication Dates: c2012.

Book

3

Cover is for reference only

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings /

Corporate Authors: ICTAC (Colloquium) Shanghai, China); SpringerLink (Online service)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.
Published: Springer,
Publication Dates: [2013]

eBook

4

Cover is for reference only

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures /

Corporate Authors: International Training School on Software Engineering Shanghai, China); SpringerLink (Online service); ICTAC (Colloquium) Shanghai, China)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.
Published: Springer,
Publication Dates: [2013]

eBook

5

Cover is for reference only

Automated technology for verification and analysis：7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings

Corporate Authors: ATVA 2009 (2009 Macau, China); SpringerLink (Online service)
Group Author: Ravn Anders P.; Liu Zhiming, 1961-
Published: Springer-Verlag,
Publication Dates: c2009.

Book

6

Cover is for reference only

Theoretical aspects of computing - ICTAC 2004：first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Corporate Authors: ICTAC 2004 2004 Guiyang, China) (Guiyang, China)); LINK (Online service)
Group Author: Araki Keijirō, 1954-; Liu Zhiming, 1961-
Published: Springer,
Publication Dates: 2005.

Book

7

Cover is for reference only

Formal methods and software engineering：8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (8th 2006 Macau, China)
Group Author: Liu Zhiming, 1961-; He Jifeng, 1943-
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.5-532/I613-4/2006

Book

8

Cover is for reference only

Formal methods and software engineering：8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (8th 2006 Macau, China); SpringerLink (Online service)
Group Author: Liu Zhiming, 1961-; He Jifeng, 1943-
Published: Springer,
Publication Dates: c2006.

Book

9

Cover is for reference only

Mathematical frameworks for component software : models for analysis and synthesis /

Corporate Authors: World Scientific (Firm)
Group Author: Liu, Zhiming, 1961- (Editor); He, Jifeng, 1943- (Editor)
Published: World Scientific,
Publication Dates: 2006.

eBook

10

Cover is for reference only

Theoretical aspects of computing：ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Corporate Authors: ICTAC 2004 (2004 Guiyang Shi, China)
Group Author: Liu Zhiming, 1961-; Araki Keijir?o, 1954-
Published: Springer,
Publication Dates: c2005.
Call Number: TP301-532/I612/2004

Book

11

Cover is for reference only

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.; He, Jifeng, 1943-
Published: Springer,
Publication Dates: 2013.

eBook

12

Cover is for reference only

Domain modeling and the duration calculus：international training school, Shanghai, China, September 17-21, 2007 : advanced lectures

Corporate Authors: International Training School on Domain Modeling and the Duration Calculus (2007 Shanghai, China); SpringerLink (Online service); ICTAC 2007 (2007 Macau, China) (Macau, China))
Group Author: Woodcock Jim.; George Chris W.; Liu Zhiming, 1961-
Published: Springer,
Publication Dates: c2007.

Book

13

Cover is for reference only

Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, tutorial lectures /

Corporate Authors: SETSS (International school) Chongqing, China)
Group Author: Bowen, J. P. (Jonathan Peter), 1956- (Editor); Liu, Zhiming, 1961- (Editor); Zhang, Zili (Editor)
Published: Springer,
Publication Dates: [2019]
Call Number: TP311.5-532/S372/2018

Book

14

Cover is for reference only

Theoretical aspects of computing：ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings

Corporate Authors: ICTAC 2007 (2007 Macau, China); SpringerLink (Online service)
Group Author: (Cliff B.), 1944-; Liu Zhiming, 1961-; Woodcock Jim.; Jones C. B.
Published: Springer,
Publication Dates: c2007.

Book

15

Cover is for reference only

Formal methods and hybrid real-time systems：essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

Corporate Authors: SpringerLink (Online service)
Group Author: Zhou Chaochen, 1937-; Jones C. B.; (Cliff B.), 1944-; Liu Zhiming, 1961-; Woodcock Jim.; Bjørner D.; (Dines), 1937-
Published: Springer,
Publication Dates: c2007.

Book

Narrow Search