Search

You searched for: Auteur Zhu, Huibiao Remove constraint Auteur: Zhu, Huibiao
1 - 6 of 6
Number of results to display per page

Search Results

1. Unifying Theories of Programming
thumbnail
Full text!
Author:
Bowen; Zhu, Huibiao
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Theoretical Aspects of Computing – ICTAC 2013
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Theories of Programming and Formal Methods
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. Unifying Theories of Programming and Formal Engineering Methods
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
5. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Dong, Jin Song; Kanade, Takeo; Zhu, Huibiao; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
6. Service-Oriented Computing - ICSOC 2012 Workshops
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Delis, Alex ; Perrin, Olivier; Delis, Alex; Perrin, Olivier; Sheng, Quan Z.; Wang, Jianmin; Wang, Yan; Yu, Qi; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book