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

Leveraging Applications of Formal Methods, Verification and Validation

Rs8680 Rs12399 30% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540884781
Check delivery information
 
ISBN 9783540884781
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