We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. FM 2015: Formal Methods

FM 2015: Formal Methods

- 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

part of the Programming and Software Engineering series

part of the Lecture Notes in Computer Science series

FM 2015: Formal Methods Save 17% from RPP Save 17%
About 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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319192482
  • Binding:
  • Paperback
  • Pages:
  • 610
  • Published:
  • June 1, 2015
  • Edition:
  • 2015
  • Dimensions:
  • 155x235x32 mm.
  • Weight:
  • 9358 g.
Delivery: 2-4 weeks
Expected delivery: December 12, 2024

Description of 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.

User ratings of FM 2015: Formal Methods



Others also bought..
Find similar books
The book FM 2015: Formal Methods can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.