Spar
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.
- Undertittel
- Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
- Redaktør
- Zhiming Liu, Jim Woodcock, Huibiao Zhu
- Opplag
- 2013 ed.
- ISBN
- 9783642396977
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 31.7.2013
- Antall sider
- 413
