|
|
|||
|
||||
OverviewThis 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.. Full Product DetailsAuthor: Nadia Polikarpova , Steve SchneiderPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Volume: 10510 Weight: 6.905kg ISBN: 9783319668444ISBN 10: 3319668447 Pages: 438 Publication Date: 27 August 2017 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |