Springer
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Product Code:
9783319192482
ISBN13:
9783319192482
Condition:
New
$61.47
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
$61.47
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.
| Author: Nikolaj Bj?rner |
| Publisher: Springer |
| Publication Date: Jun 02, 2015 |
| Number of Pages: 610 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3319192485 |
| ISBN-13: 9783319192482 |
Related Products
