Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Polikarpova, Nadia (Επιμελητής έκδοσης), Schneider, Steve (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10510
• Θέματα: Computer science.; Computer organization.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Computer Systems Organization and Communication Networks.; Computing Methodologies.; The Computing Profession.
• Φυσική περιγραφή: XXI, 438 p. 109 illus. online resource.
• ISBN: 9783319668451
• ISSN: 0302-9743 ;

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.