.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
FM 2008 - Formal Methods
Jorge Cuellar
€ 68.56
FREE Delivery in Ireland
Description for FM 2008 - Formal Methods
Paperback. Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book includes sections on programming language analysis, verification, real-time and concurrency, grand challenge problems, fm practice, runtime monitoring and analysis, and constraint analysis, and design. Series: Lecture Notes in Computer Science. Num Pages: 449 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
449
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
436
Place of Publication
Berlin, Germany
ISBN
9783540682356
SKU
V9783540682356
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for FM 2008 - Formal Methods