返回Google圖書搜尋

Patternbasierte Verifikation objektorientierter Modelle

其他書名	Methodik, Semantik und Verfahren
出版	2006
URL	http://books.google.com.hk/books?id=CTIGywAACAAJ&hl=&source=gbs_api