返回Google圖書搜尋

Fundamentals of a New Methodology for Program Synthesis from Formal Specifications

其他書名	CM-construction of Atomic Formulae
出版	Université de Paris Sud, Centre d'Orsay, 1988
URL	http://books.google.com.hk/books?id=sYDgtgAACAAJ&hl=&source=gbs_api