ISBN 9783540489283,Leveraging Applications of Formal Methods

Leveraging Applications of Formal Methods

Rs5037

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540489283
Check delivery information
 
ISBN 9783540489283
Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9783540489283

ISBN-10 3540489282
Binding

Paperback

Number of Pages 216 Pages
Subject

Computer programming / software development

Constitutes the refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, that was held in Paphos, Cyprus in October/November 2004. This title presents 12 revised full papers that discuss issues related to the adoption and use of rigorous tools and methods for the specification.
Scroll