This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
€95.19
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 PDF ● Trang 670 ● ISBN 9783642245596 ● Biên tập viên Shengchao Qin & Zongyan Qiu ● Nhà xuất bản Springer Berlin ● Thành phố Heidelberg ● Quốc gia DE ● Được phát hành 2011 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2246928 ● 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.570 Ebooks trong thể loại này
