Huibiao Zhu – författare
Visar alla böcker från författaren Huibiao Zhu.
6 produkter
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Av Jonathan P. Bowen, Huibiao Zhu
Häftad, 2017
729 kr
Lägg i varukorg
Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Häftad, 2010
1449 kr
Lägg i varukorg
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
Av Aditya Ghose, Huibiao Zhu m. fl.
Häftad, 2013
729 kr
Lägg i varukorg
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Av Zhiming Liu, Jim Woodcock m. fl.
Häftad, 2013
729 kr
Lägg i varukorg
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Av Zhiming Liu, Jim Woodcock m. fl.
Häftad, 2013
729 kr
Lägg i varukorg
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
Av Zhiming Liu, Jim Woodcock m. fl.
Häftad, 2013
729 kr
Lägg i varukorg