Buch, Englisch, 450 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 697 g
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Buch, Englisch, 450 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 697 g
Reihe: Programming and Software Engineering
ISBN: 978-3-642-21436-3
Verlag: Springer
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Zielgruppe
Research