|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Unifying Theories of Programming(1st Edition) 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science) by Jonathan P. Bowen, Huibiao Zhu Paperback, 228 Pages, Published 2017 by Springer ISBN-13: 978-3-319-52227-2, ISBN: 3-319-52227-2 |
Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science) by Zhiming Liu, Jim Woodcock, Huibiao Zhu Paperback, 445 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39717-2, ISBN: 3-642-39717-4 |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science) by Jin Song Dong, Huibiao Zhu Paperback, 712 Pages, Published 2010 by Springer ISBN-13: 978-3-642-16900-7, ISBN: 3-642-16900-7 |
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) by Zhiming Liu, Jim Woodcock, Huibiao Zhu Paperback, 413 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39697-7, ISBN: 3-642-39697-6 |
Service-Oriented Computing - ICSOC Workshops 2012 ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite ... Papers (Lecture Notes in Computer Science) by Aditya K. Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang Paperback, 484 Pages, Published 2013 by Springer ISBN-13: 978-3-642-37803-4, ISBN: 3-642-37803-X |
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Lectures (Lecture Notes in Computer Science) by Zhiming Liu, Jim Woodcock, Huibiao Zhu Paperback, 296 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39720-2, ISBN: 3-642-39720-4 |
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday by Zhiming Liu, Jim Woodcock, Huibiao Zhu 413 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39698-4, ISBN: 3-642-39698-4 |
Lecture Notes in Computer Science 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 8050 by Zhiming Liu, Jim Woodcock, Huibiao Zhu 283 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39721-9, ISBN: 3-642-39721-2 |
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 by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang 466 Pages, Published 2013 by Springer ISBN-13: 978-3-642-37804-1, ISBN: 3-642-37804-8 |
Lecture Notes in Computer Science Ser. Formal Methods and Software Engineering : 10Th International Conference on Formal Engineering Methods, Icfem 2008, Kitakyushu-City, Japan, October 27-31, 2008: Proceedings by Jin Song Dong, Huibiao Zhu 712 Pages, Published 2010 by Springer ISBN-13: 978-3-642-16901-4, ISBN: 3-642-16901-5 |
Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings by Zhiming Liu, Jim Woodcock, Huibiao Zhu 445 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39718-9, ISBN: 3-642-39718-2 |
Huibiao Zhu