Alessandro Cimatti & Marjan Sirjani 
Software Engineering and Formal Methods [EPUB ebook] 
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Ủng hộ

?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. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.

€57.74
phương thức thanh toán
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783319661971 ● Biên tập viên Alessandro Cimatti & Marjan Sirjani ● Nhà xuất bản Springer International Publishing ● Được phát hành 2017 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6210723 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

16.614 Ebooks trong thể loại này