Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8051
Herausgegeben von Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
- 出版社：Springer, Berlin
- 出版年月：2013年 07月
- ISBN：9783642396977
- 装丁：PAP
-
装丁について
- 版次：2013. 2013. xii