Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Name: Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Price: 52.33 USD
Availability: InStock
Author: Pasareanu, Corina S.
ISBN: 9783642026515

by Pasareanu, Corina S.

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by Pasareanu, Corina S.

Marketplace Prices
New from $52.33

New
$52.33

List Price

~~$74.95~~

Discount

30% Off

You Save

$22.62

Recommended

Item Details
Condition: New
Provider: LightningBooks
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642026515
ISBN: 3642026516
Edition: 1
Publication Date: 2009
Publisher: Springer

AUTHOR

Pasareanu, Corina S.

SUMMARY

Pasareanu, Corina S. is the author of 'Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)', published 2009 under ISBN 9783642026515 and ISBN 3642026516.

[read more]