Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Paperback Published on: 25/07/2008
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540851134
- Number of pages: 343
- Dimensions: 235 x 155 mm
- Languages: English


