Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science, Band 8051)

Dedicated

von: Zhiming Liu · Jim Woodcock · Huibiao Zhu

Taschenbuch

EAN=ISBN-13: 978-3-642-39697-7

ISBN-10: 3-642-39697-6

Springer · 2013