FM 2008, FORMAL METHODS: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, TURKU, FINLAND, MAY 26-30, 2008 PROCEEDINGS: 5014 (Programming and Software Engineering)

Print length: 436 pages
Language: English
Publication date: 8 May 2008

Name: FM 2008, FORMAL METHODS: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, TURKU, FINLAND, MAY 26-30, 2008 PROCEEDINGS: 5014 (Programming and Software Engineering)
SKU: 9783540682356
Availability: InStock

SKU: 9783540682356

Original price was: ₹9,094.80.Current price is: ₹8,185.32.

Discover cutting-edge research in software engineering with ‘FM 2008: Formal Methods’. This essential volume features the refereed proceedings from the 15th International Symposium on Formal Methods, held in Turku, Finland. Explore 23 revised full papers, 4 invited contributions, and 5 industrial presentations covering critical areas like programming language analysis, verification, real-time systems, grand challenge problems, and practical FM applications. Selected from 106 submissions, these papers offer deep insights into runtime monitoring, communication protocols, constraint analysis, and system design. Ideal for researchers, developers, and academics seeking advanced knowledge in formal methods and their application to software reliability and correctness. Add this definitive collection to your technical library from The Bookish Owl.

5 in stock

Category: Higher Education Textbooks Tag: Jorge Cuellar