Theories of Programming and Formal Methods
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
66,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783642396977
- ISBN-10
- 3642396976
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-07-31
- Pages
- 413
- Dimensions
- 235x155x