Ebook: Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
- Tags: Information Systems Applications (incl. Internet), Artificial Intelligence (incl. Robotics), Algorithm Analysis and Problem Complexity, Probability and Statistics in Computer Science, Computation by Abstract Devices, Database Management
- Series: Lecture Notes in Computer Science 9509
- Year: 2015
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Download the book Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)