Buy and Download - Integrated Formal Methods

Home

All soft

Last soft

Your Orders

Customers opinion

Helpdesk

Cart

Program Search:

Shopping Cart:

*Note: Minimum order price: €20

We Recommend:

Integrated Formal Methods €10 buy download

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings By Nadia Polikarpova, Steve Schneider
English | PDF | 2017 | 447 Pages | ISBN : 3319668447 | 16.2 MB
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. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..