返回Google圖書搜尋

Integration of "UML-ised" Formal Techniques and Tools with RSL and the RSL Toolset

出版	Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2005
URL	http://books.google.com.hk/books?id=Ik0ISQAACAAJ&hl=&source=gbs_api