- 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 utm 08/07/2022 296 0
Từ khóa: Programming Methodology, Monographs in Computer Science, Computer programming, Enforcing behavioral properties, Asynchronous progress, The Seuss programming notation, Timing-constraint analysis
Ebook Programming Methodology: Part 2 - Annabelle Mclver, Carroll Morgan
Continued part 1, part 2 of the book "Programming Methodology" will provide with knowledge about: programming techniques; object orientation; object-oriented programming and software development - a critical assessment; a trace model for pointers and objects; object models as heap invariants; abstraction dependencies; applications and automated theories;...
248 p utm 08/07/2022 107 0
Từ khóa: Programming Methodology, Monographs in Computer Science, Computer programming, Programming techniques, Object-oriented programming, Feature-oriented specification, High-level circuit design
Đăng nhập
Bộ sưu tập nổi bật