Skip to product information
Lecture Notes in Computer Science
  • Lecture Notes in Computer Science
Lecture Notes in Computer Science: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Lecture Notes in Computer Science: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Polikarpova, Nadia; Schneider, Steve

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

Details

Published by: Springer

Publication Date: 2017-08-27

Format: Paperback

ISBN-13: 9783319668444

DOI: 10.1007/978-3-319-66845-1

Dimensions: 235cm x155cm

Pages: 438

You may also like