Tell your friends about this item:
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings - Lecture Notes in Computer Science 2017 edition
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings - Lecture Notes in Computer Science
?This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.
410 pages, 94 Illustrations, black and white; XIX, 410 p. 94 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 15, 2017 |
| ISBN13 | 9783319661964 |
| Publishers | Springer International Publishing AG |
| Pages | 410 |
| Dimensions | 150 × 220 × 10 mm · 6.50 kg |
| Language | German |
| Editor | Cimatti, Alessandro |
| Editor | Sirjani, Marjan |