ISBN 9783540682356,FM 2008 - Formal Methods

FM 2008 - Formal Methods

Rs4728 Rs6742 30% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540682356
Check delivery information
 
ISBN 9783540682356
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540682356

ISBN-10 354068235X
Binding

Paperback

Number of Pages 456 Pages
Subject

Software engineering

Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book includes sections on programming language analysis, verification, real-time and concurrency, grand challenge problems, fm practice, runtime monitoring and analysis, and constraint analysis, and design.

More from Author

Scroll