Huibiao Zhu – författare

Visar alla böcker från författaren Huibiao Zhu.

6 produkter

Kategorier

6 produkter

Del 10134
Del 10134 - Lecture Notes in Computer Science
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
AvJonathan P. Bowen,Huibiao Zhu
Häftad, Engelska, 2017
749 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
AvJin Song Dong,Huibiao Zhu
Häftad, Engelska, 2010
1 479 kr
Skickas inom 10-15 vardagar
Service-Oriented Computing - ICSOC Workshops 2012
ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
AvAditya Ghose,Huibiao Zhum. fl.
Häftad, Engelska, 2013
749 kr
Skickas inom 10-15 vardagar
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
AvZhiming Liu,Jim Woodcockm. fl.
Häftad, Engelska, 2013
749 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
AvZhiming Liu,Jim Woodcockm. fl.
Häftad, Engelska, 2013
749 kr
Skickas inom 10-15 vardagar
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
AvZhiming Liu,Jim Woodcockm. fl.
Häftad, Engelska, 2013
749 kr
Skickas inom 10-15 vardagar