- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Ebook Programming Methodology: Part 1 - Annabelle Mclver, Carroll Morgan
Part 1 of the book "Programming Methodology" will provide with knowledge about: models and correctness; wanted: a compositional approach to concurrency; enforcing behavior with contracts; asynchronous progress; a reduction theorem for concurrent object-oriented programs; abstractions from time; a predicative semantics for real-time refinement;...
208 p actvn 23/08/2022 70 0
Từ khóa: Programming Methodology, Monographs in Computer Science, Computer programming, Enforcing behavioral properties, Asynchronous progress, The Seuss programming notation, Timing-constraint analysis
Đăng nhập
Bộ sưu tập nổi bật
10 19615
12 23572
Bộ sưu tập Kỹ thuật viễn thông
11 16537
Bộ sưu tập Tài liệu học tiếng Anh
14 82990