登入
選單
返回
Google圖書搜尋
Computer-aided Verification
其他書名
Proceedings
出版
Springer-Verlag,.
, 1998
ISBN
3540646086
9783540646082
URL
http://books.google.com.hk/books?id=0aBQAAAAMAAJ&hl=&source=gbs_api