×


 x 

Shopping cart
N/A - Formal Methods and Software Engineering - 9783540766483 - V9783540766483
Stock image for illustration purposes only - book cover, edition or condition may vary.

Formal Methods and Software Engineering

€ 68.03
FREE Delivery in Ireland
Description for Formal Methods and Software Engineering Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. This book includes papers that are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Product Details

Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
395
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
387
Place of Publication
Berlin, Germany
ISBN
9783540766483
SKU
V9783540766483
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Formal Methods and Software Engineering

Goodreads reviews for Formal Methods and Software Engineering


Subscribe to our newsletter

News on special offers, signed editions & more!