Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Bernd Fischer - Books - Springer International Publishing AG - 9783319234038 - September 3, 2015
In case cover and title do not match, the title is correct

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Bernd Fischer

Price
$ 56.49
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 27 - Nov 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions.

319 pages, 66 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 3, 2015
ISBN13 9783319234038
Publishers Springer International Publishing AG
Pages 319
Dimensions 155 × 235 × 18 mm   ·   5.15 kg
Language French  
Editor Fischer, Bernd
Editor Geldenhuys, Jaco
Show all

More by Bernd Fischer

See all of Bernd Fischer ( e.g. Paperback Book and Hardcover Book )