Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings by Bernd FischerModel Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings by Bernd Fischer

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa…

byBernd FischerEditorJaco Geldenhuys

Paperback | September 3, 2015

Pricing and Purchase Info

$86.04 online 
$96.95 list price save 11%
Earn 430 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa…Format:PaperbackDimensions:319 pagesPublished:September 3, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:331923403X

ISBN - 13:9783319234038

Reviews