|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Paperback, Edition.)
Loot Price: R1,892
Discovery Miles 18 920
|
|
|
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Paperback, Edition.)
Series: Theoretical Computer Science and General Issues, 6823
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 18th
International SPIN workshop on Model Checking Software, SPIN 2011,
held in Snowbird, UT, USA, in July 2011. The 10 revised full papers
presented together with 2 tool demonstration papers and 1 invited
contribution were carefully reviewed and selected from 29
submissions. The papers are organized in topical sections on
abstractions and state-space reductions; search strategies; PROMELA
encodings and extensions; and applications of model checking.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
