search for books and compare prices
Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Alastair Donaldson (other contributor) |
from Springer-Verlag New York Inc (July 9, 2012)
9783642317583 | details & prices | 271 pages | 6.00 × 9.00 × 0.75 in. | 0.85 lbs | List price $72.00