ISBN 9783540682356,FM 2008 - Formal Methods

FM 2008 - Formal Methods

Rs6472

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.
Scroll