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

1

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

2

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

3

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

4

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

Narrow Search