Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science)
[PDF.lq21] Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science) Rating: 3.97 (753 Votes)
Software Engineering and Formal From Brand: Springer epub Software Engineering and Formal From Brand: Springer pdf download Software Engineering and Formal From Brand: Springer pdf file Software Engineering and Formal From Brand: Springer audiobook Software Engineering and Formal From Brand: Springer book review Software Engineering and Formal From Brand: Springer summary | Springer | 2012-08-28 | Original language:English | PDF # 1 | 9.25 x.91 x6.10l,.0 | File type: PDF | 384 pages | ||From the Back Cover|This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usabilit...
You easily download any file type for your gadget.Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science) | From Brand: Springer. I really enjoyed this book and have already told so many people about it!