Produktinformationen "FM 2015: Formal Methods"
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
| ISBN: | 9783319192482 |
|---|---|
| Verlag: | Springer International Publishing |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 610 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bjørner, Nikolaj de Boer, Frank |
| Erscheinungsdatum: | 02.06.2015 |
| Verlag: | Springer International Publishing |
| Untertitel: | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| Schlagworte: | Algorithms Automata Biological systems Computer networks Concurrency Constraint programming Expert system Formal verification Global optimization Hybrid system |