Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Theoretical Computer Science and General Issues - Alex Groce - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642223051 - July 5, 2011
In case cover and title do not match, the title is correct

Alex Groce
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Theoretical Computer Science and General Issues

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 23 - 29
Get notified about new Alex Groce releases

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

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.

205 pages, 35 black & white illustrations, 25 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 5, 2011
ISBN13 9783642223051
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 195
Dimensions 155 × 235 × 11 mm   ·   340 g
Language French  
Editor Groce, Alex
Editor Musuvathi, Madanlal

More from the same publisher

See all of Alex Groce ( e.g. Paperback Book )