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. Integrated Formal Methods

Integrated Formal Methods

- 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

part of the Lecture Notes in Computer Science series

part of the Programming and Software Engineering series

Integrated Formal Methods
About Integrated Formal Methods

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319668444
  • Binding:
  • Paperback
  • Pages:
  • 438
  • Published:
  • August 27, 2017
  • Edition:
  • 12017
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 6905 g.
Delivery: 2-4 weeks
Expected delivery: October 25, 2024

Description of Integrated Formal Methods

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.

User ratings of Integrated Formal Methods



Others also bought..
Find similar books
The book Integrated 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.