| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings | 978-3-540-41428-5 | 2008 | Masahiko Sato | |
| Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ... Notes in Computer Science , Band 4260) | 978-3-540-47460-9 | 2006 | Zhiming Liu | |
| Mathematical Frameworks for Component Software: Models for Analysis and Synthesis | 978-981-270-017-9 | 2007 | " | |
| Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers | 978-0-07-709052-4 | 1995 | ||
McGraw-Hill · Springer · World Scientific Pub Co Inc