ISBN 9783540884781,Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

Rs11903

Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540884781

ISBN-10 3540884785
Binding

Paperback

Number of Pages 883 Pages
Subject

Software engineering

Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.
Scroll