8th International Workshop on ACL2 Theorem Prover and Its Applications 2009
| Author | : Sandip Ray |
| Publisher | : |
| Total Pages | : 138 |
| Release | : 2010 |
| ISBN-10 | : 1617380458 |
| ISBN-13 | : 9781617380457 |
| Rating | : 4/5 (58 Downloads) |
Book Synopsis 8th International Workshop on ACL2 Theorem Prover and Its Applications 2009 by : Sandip Ray
Download or read book 8th International Workshop on ACL2 Theorem Prover and Its Applications 2009 written by Sandip Ray and published by . This book was released on 2010 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt:
