FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Herausgegeben:Cuellar, Jorge; Maibaum, Tom
FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Herausgegeben:Cuellar, Jorge; Maibaum, Tom
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- John Fitzgerald / Ian J. Hayes / Andrzej Tarlecki (eds.)FM 2005: Formal Methods39,99 €
- Frank S. de Boer / Marcello M. Bonsangue / Graf, Susanne Roever, Willem-Paul de (eds.)Formal Methods for Components and Objects39,99 €
- StrohmeierReliable Software Technologies - Ada Europe 9640,99 €
- Dieter Hutter / Werner Stephan / Paolo Traverso / Markus Ullmann (eds.)Applied Formal Methods - FM-Trends 9839,99 €
- Jim Davies (Volume ed.) / Jeremy GibbonsIntegrated Formal Methods79,99 €
- Olaf Owe / Stein Krogdahl / Tom Lyche (eds.)From Object-Orientation to Formal Methods37,99 €
- Frank S. de Boer / Marcello M. Bonsangue / Susanne Graf / Willem-Paul de RoeverFormal Methods for Components and Objects39,99 €
-
-
-
- Produktdetails
- Lecture Notes in Computer Science 5014
- Verlag: Springer, Berlin
- Artikelnr. des Verlages: 12271788
- 2008
- Seitenzahl: 456
- Erscheinungstermin: 8. Mai 2008
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 686g
- ISBN-13: 9783540682356
- ISBN-10: 354068235X
- Artikelnr.: 23882261
- Lecture Notes in Computer Science 5014
- Verlag: Springer, Berlin
- Artikelnr. des Verlages: 12271788
- 2008
- Seitenzahl: 456
- Erscheinungstermin: 8. Mai 2008
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 686g
- ISBN-13: 9783540682356
- ISBN-10: 354068235X
- Artikelnr.: 23882261