登入選單

返回Google圖書搜尋

Construction, Amélioration Et Vérification de Programmes

Institut de recherche d'informatique et d'automatique

出版	I.R.I.A., 1975
ISBN	27261006359782726100639
URL	http://books.google.com.hk/books?id=K1sZAQAAIAAJ&hl=&source=gbs_api