Opening book details…
Can I read FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science, 5014) on EtoBox?
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science, 5014) by Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.) is a computer science book available to read on EtoBox.
What is FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science, 5014) about?
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, ru
Who reads FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science, 5014)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2008
- Language
- EN
- ISBN
- 9783540682356
- Category
- computer science
- Subjects
- Mathematics, Engineering, Science
- Updated
- 2026-03-25
More by Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
Browse all works by Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
Similar books
- FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085) — Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (2006)
- FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Lecture Notes in Computer Science (8442)) — Cliff Jones, Pekka Pihlajasaari, Jun Sun (2014)
- Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings — Marieke Huisman; Corina Păsăreanu; Naijun Zhan (2021)
- FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science (7436)) — Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (2012)
- Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings (Lecture Notes in Computer Science, 6714) — Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (2011)
- Fm 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (lecture Notes In Computer Science) — Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (2009)
