ISBN 9783540881933,Formal Methods and Software Engineering

Formal Methods and Software Engineering

Rs4538 Rs6472 30% OFF

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