登入選單
返回Google圖書搜尋
Eighth International Workshop on the ACL2 Theorem Prover and Its Applications
Sandip Ray
出版Association for Computing Machinery, 2009
主題Computers / Computer Science
ISBN16055874279781605587424
URLhttp://books.google.com.hk/books?id=3iuOMAEACAAJ&hl=&source=gbs_api
註釋Eighth International Workshop On The ACL2 Theorem Prover and Its Applications May 11, 2009-May 12, 2009 Boston, USA. You can view more information about this proceeding and all of ACM's other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.