Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: monographs in computer science

Kết quả 1-2 trong khoảng 2

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

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Bộ sưu tập Kỹ thuật viễn thông

11 16555
Bộ sưu tập Tài liệu học tiếng Anh

14 83009
Bộ sưu tập Lý luận chính trị

12 23590
Bộ sưu tập Kỹ thuật lập trình

10 19631
Bộ sưu tập Mật mã - An toàn thông tin

10 21270

Học viện Kỹ thuật Mật Mã

141 đường Chiến Thắng - Tân Triều - Thanh Trì - Hà Nội
ĐT : 024.38544244 – 024.38543024 – 024.385520251

Phát triển bởi Thư viện số