登入選單

返回Google圖書搜尋

Theory and Implementation of Software Bounded Model Checking

Florian Merz

出版	KIT-Bibliothek, 2016
URL	http://books.google.com.hk/books?id=WATTzQEACAAJ&hl=&source=gbs_api