Tallenna
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.
- Alaotsikko
- Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
- Toimittaja
- Zhiming Liu, Jim Woodcock, Huibiao Zhu
- Painos
- 2013 ed.
- ISBN
- 9783642396977
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 31.7.2013
- Sivumäärä
- 413
