- 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 and problem solving with C++ (Sixth edition): Part 1
Part 1 of book "Comprehensive edition: Programming and problem solving with C++ (Sixth edition)" provide with knowledge about: overview of programming and problem solving; C++ syntax and semantics, and the program development process; numeric types, expressions, and output; program input and the software design process; conditions, logical expressions, and selection control structures;...
677 p actvn 23/08/2022 84 1
Từ khóa: Programming and problem solving with C++, Comprehensive edition, Problem-Solving techniques, C++ program structure, Value-Returning functions, Software design methodologies
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 71 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 actvn 23/08/2022 71 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
10 19630
Bộ sưu tập Kỹ thuật viễn thông
11 16554
Bộ sưu tập Tài liệu học tiếng Anh
14 83009
12 23589