 
            Tell your friends about this item:
Symbolic Model Checking
Kenneth McMillan
Symbolic Model Checking
Kenneth McMillan
| Media | Books Hardcover Book (Book with hard spine and cover) | 
| Released | July 31, 1993 | 
| ISBN13 | 9780792393801 | 
| Publishers | Kluwer Academic Publishers | 
| Pages | 216 | 
| Dimensions | 150 × 220 × 20 mm · 426 g | 
| Language | English | 
                    
                Show all 
            
                                    
    More by Kenneth McMillan
See all of Kenneth McMillan ( e.g. Hardcover Book and Paperback Book )
 
         Christmas presents can be returned until 31 January
                     Christmas presents can be returned until 31 January
                      
                  
                 
    ![Cover for Kenneth Mcmillan · Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/127/9783642540127.jpg?kenneth-mcmillan-2014-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai-2014-san-diego-ca-usa-january-19-21-2014-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1552776849)