Integrated Formal Methods: 13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings 2017 Edition Contributor(s): Polikarpova, Nadia (Editor), Schneider, Steve (Editor) |
|
ISBN: 3319668447 ISBN-13: 9783319668444 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: August 2017 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 005.1 |
Physical Information: 0.93" H x 6.14" W x 9.21" (1.41 lbs) 438 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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.. |