6 Ebooks von Huibiao Zhu
Jonathan P. Bowen & Huibiao Zhu: Unifying Theories of Programming
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th …
EPUB
Englisch
DRM
€57.51
Jin Song Dong & Huibiao Zhu: Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.The 42 revised full papers togeth …
PDF
Englisch
DRM
€114.75
Alex Delis & Aditya Ghose: Service-Oriented Computing – ICSOC Workshops 2012
This book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting of 6 scientific satellite events, organized in 3 main tracks including workshop track (ASC, DISA. PAAS …
PDF
Englisch
DRM
€57.35
Zhiming Liu & Jim Woodcock: Theories of Programming and Formal Methods
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratu …
PDF
Englisch
DRM
€57.78
Zhiming Liu & Jim Woodcock: Theoretical Aspects of Computing — ICTAC 2013
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers …
PDF
Englisch
DRM
€57.36
Zhiming Liu & Jim Woodcock: Unifying Theories of Programming and Formal Engineering Methods
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, …
PDF
Englisch
DRM
€56.99
