FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Programming and Software Engineering
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Nikolaj Bjørner | Frank de Boer
Computers / Software Development & Engineering / General
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.
| Publication Date: | 02 June 2015 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| ISBN-13: | 9783319192482 |
| Format: | Paperback softback |
| Page Count: | 610 |