| 其他書名 | New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 |
| 出版 | Springer Berlin Heidelberg, 1987-10-21 |
| 主題 | Computers / Programming / GeneralComputers / Information Technology |
| ISBN | 354018581X9783540185819 |
| URL | http://books.google.com.hk/books?id=6YMNzwEACAAJ&hl=&source=gbs_api |