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
ISBN 13: 9783642396977
Format: Paperback (428 pages) Publisher: Springer Published: 31 Jul 2013
Save for later
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science)
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
ISBN 13: 9783642397202
Format: Paperback (296 pages) Publisher: Springer Published: 19 Jul 2013
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers: 10134 (Lecture Notes in Computer Science)
by Jonathan P. Bowen,Huibiao Zhu
ISBN 13: 9783319522272
Format: Paperback (228 pages) Publisher: Springer Published: 11 Jan 2017