Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Lecture Notes in Computer Science - Jaco Van Der Pol - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642161636 - September 27, 2010
In case cover and title do not match, the title is correct

Jaco Van Der Pol
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Lecture Notes in Computer Science

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

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

Not rated yet

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.

263 pages, 70 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 27, 2010
ISBN13 9783642161636
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 263
Dimensions 152 × 229 × 20 mm   ·   476 g
Language French  
Editor Van Der Pol, Jaco
Editor Weber, Michael

Mere med samme udgiver

See all of Jaco Van Der Pol ( e.g. Paperback Book )