登入選單
返回Google圖書搜尋
Formal requirements analysis using algebraic high level nets and transformation
其他書名
a KORSO case study improving parts of HDMS-A
出版Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1993
URLhttp://books.google.com.hk/books?id=TwBicgAACAAJ&hl=&source=gbs_api