Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Авторы: Abrial J., Liu Z., Woodcock J.
Jifeng He is an outstanding computer scientist. He was born on August 5, 1943,
in Shanghai, China. In his long academic career, he has made significant and
wide-ranging contributions to the theories of programming and formal software
engineering methods. To celebrate his 70th birthday, we present three LNCS
volumes in his honor.
• Theories of Programming and Formal Methods. Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday. Papers presented at a symposium
held in Shanghai, September 1–3, 2013. LNCS volume 8051, Springer 2013.
• Unifying Theories of Programming and Formal Engineering Methods. International
Training School on Software Engineering, Shanghai, China, August
26–30, 2013. Advanced Lectures, LNCS volume 8050, Springer 2013.
• Theoretical Aspects of Computing – ICTAC 2013. The 10th International
Colloquium, Shanghai, China, September 4–6, 2013. Proceedings, LNCS volume
8049, Springer 2013.