Spara
Theories of Programming and Formal Methods
He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.
- Undertitel
- Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
- Redaktör
- Zhiming Liu, Jim Woodcock, Huibiao Zhu
- Upplaga
- 2013 ed.
- ISBN
- 9783642396977
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-07-31
- Sidor
- 413
