search for books and compare prices
cover image
Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
By Ezio Bartocci (editor) and C. R. Ramakrishnan (editor)
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date July 19, 2013
Pages 387
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783642391750
ISBN-10 3642391753
Published in Europe
Original list price $83.00
Summaries and Reviews
Amazon.com description: Product Description: This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Editions
Paperback
Book cover for 9783642391750
 
The price comparison is for this edition
With Ezio Bartocci (other contributor) | from Springer-Verlag New York Inc (July 19, 2013)
9783642391750 | details & prices | 387 pages | List price $83.00
About: This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013.

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.