ISBN 9783540881933,Formal Methods and Software Engineering

Formal Methods and Software Engineering

Rs4728 Rs6742 30% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540881933
Check delivery information
 
ISBN 9783540881933
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540881933

ISBN-10 354088193X
Binding

Paperback

Number of Pages 412 Pages
Subject

Software engineering

Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.
Scroll