Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Model Checking Software

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software( )
Editor: Bartocci, Ezio
Ramakrishnan, C. R.
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-39175-0
Publication Date:Jul 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $83.00
Book 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...
More Description

Book Details
Pages:377
Detailed Subjects: Computers / Software Development & Engineering / Quality Assurance & Testing
Computers / General
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.312 Inches
Book Weight:1.305 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Born to Run
Springsteen, Bruce
Electronic book text: $32.50
The Wonder
Donoghue, Emma
Electronic book text:
Here I Am
Foer, Jonathan Safran
Electronic book text:

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.