FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bjørner, Nikolaj (Επιμελητής έκδοσης), de Boer, Frank (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Computer Science, 9109
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Management information systems.; Computer Science.; Software Engineering.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Computation by Abstract Devices.
• Φυσική περιγραφή: XVI, 610 p. 156 illus. online resource.
• ISBN: 9783319192499
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.