ISBN 9783540281955,Model Checking Software

Model Checking Software

Rs3797 Rs5424 30% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540281955
Check delivery information
 
ISBN 9783540281955
Publisher

Ingram Publisher Services

Publication Year 2005
ISBN-13

ISBN 9783540281955

ISBN-10 3540281959
Binding

Paperback

Number of Pages 304 Pages
Subject

Software engineering

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.

More from Author

Scroll