Zhu, Huibiao books & textbook
Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite ... Papers (Programming and Software Engineering)
Ghose, Aditya Zhu, Huibiao Yu, Qi Delis, Alex Sheng, Quan Z. Perrin, Olivier Wang, Jianmin Wang, Yan
Springer /2013-04-09 Paperback / 482 Pages
isbn-10: 364237803X / isbn-13: 9783642378034
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
Bowen, Jonathan P. Zhu, Huibiao
Springer /2017-01-11 Paperback / 226 Pages
isbn-10: 3319522272 / isbn-13: 9783319522272
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Theoretical Computer Science and General Issues)
Liu, Zhiming Woodcock, Jim Zhu, Huibiao
Springer /2013-07-31 Paperback / 425 Pages
isbn-10: 3642396976 / isbn-13: 9783642396977
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)
Liu, Zhiming Woodcock, Jim Zhu, Huibiao
Springer /2013-07-19 Paperback / 295 Pages
isbn-10: 3642397204 / isbn-13: 9783642397202
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Theoretical Computer Science and General Issues)
Liu, Zhiming Woodcock, Jim Zhu, Huibiao
Springer /2013-07-15 Paperback / 460 Pages
isbn-10: 3642397174 / isbn-13: 9783642397172
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... (Lecture Notes in Computer Science, 6447)
Springer /2010-10-29 Paperback / 726 Pages
isbn-10: 3642169007 / isbn-13: 9783642169007
