.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Leveraging Applications of Formal Methods
Tiziana Maragria
€ 66.97
FREE Delivery in Ireland
Description for Leveraging Applications of Formal Methods
Paperback. 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. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 203 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 310.
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.
Product Details
Format
Paperback
Publication date
2006
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
203
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
197
Place of Publication
Berlin, Germany
ISBN
9783540489283
SKU
V9783540489283
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Leveraging Applications of Formal Methods
From the reviews: "The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such ... Read more