All listings for this product
Best-selling in Computer & IT
Save on Computer & IT
- £50.25Trending at £58.07
- £29.42Trending at £39.78
- £15.72Trending at £16.27
- £6.19Trending at £6.85
- £4.99Trending at £7.12
- £15.72Trending at £16.46
- £13.57Trending at £14.66
About this product
- DescriptionThis 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.
- PublisherSpringer International Publishing AG
- Date of Publication20/08/2015
- GenreComputing: Professional & Programming
- Series TitleLecture Notes in Computer Science
- Series Part/Volume Number9232
- Place of PublicationCham
- Country of PublicationSwitzerland
- ImprintSpringer International Publishing AG
- Content Note66 Illustrations, black and white; XVIII, 319 p. 66 illus.
- Weight522 g
- Width155 mm
- Height235 mm
- Edited byBernd Fischer,Jaco Geldenhuys
- Edition Statement1st ed. 2015
This item doesn't belong on this page.
Thanks, we'll look into this.