Model Checking Software
- Patrick Godefroid
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,153Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Model Checking Software is written by Patrick Godefroid and published by Springer. It's available with International Standard Book Number or ISBN identification 3540318992 (ISBN 10) and 9783540318996 (ISBN 13).
This volume contains the proceedings of the 12th International SPIN Workshop on Model Checking of Software, held in San Francisco, USA, on August 22 –24, 2005.
