Kenneth McMillan: Symbolic Model Checking
____________________________
Author: Kenneth McMillan
Number of Pages: 194 pages
Published Date: 23 Oct 2012
Publisher: Springer-Verlag New York Inc.
Publication Country: New York, NY, United States
Language: English
ISBN: 9781461363996
Download Link: Click Here
____________________________