search for books and compare prices
Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
By
David Parker (editor) and
Alastair Donaldson (editor)
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
July 9, 2012
Pages
271
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783642317583
ISBN-10
3642317588
Dimensions
0.75 by 6 by 9 in.
Weight
0.85 lbs.
Published in
Europe
Original list price
$72.00
Summaries and Reviews
Amazon.com description: Product Description: This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Editions
Paperback
The price comparison is for this edition
With Alastair Donaldson (other contributor) |
from Springer-Verlag New York Inc (July 9, 2012)
9783642317583 | details & prices | 271 pages | 6.00 × 9.00 × 0.75 in. | 0.85 lbs | List price $72.00
About: This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012.
About: This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.