ISBN 9783540851134,Model Checking Software

Model Checking Software

Rs5579

Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540851134

ISBN-10 3540851135
Binding

Paperback

Number of Pages 358 Pages
Subject

Software engineering

Constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The main focus of the workshop series is software systems, including models and programs.
Scroll