- The spine of software : designing provably correct software-theory and practice
- Tác giả: Robert L. Baber
- Nhà xuất bản: John Wiley - New York
- Năm xuất bản: 1987
- Số trang:316 p.
- Kích thước:24 cm
- Số đăng ký cá biệt:31617
- ISBN:9780471914747
- Mã Dewey:005.1
- Đơn giá:0
- Vị trí lưu trữ:03 Quang Trung
- Ngôn ngữ:English
- Loại tài liệu:Sách Tham Khảo
- Đang rỗi/ Tổng sách:1/1
- Từ khóa:Software, software-theory, software practice
- Chủ đề: Software
- Chuyên ngành: Khoa Công Nghệ Thông Tin
- Tóm tắt: This book presents this core of knowledge. The concepts covered are based on the view that a variable is a triple of a name, a set, and an element of that set (a value); that a data environment (the execution) of a program is a sequence of variables; and that a statement, subprogram, or program serves to map a data environment into another data environment. While the material is treated in a mathematically rigorous fashion, it is carefully written to show software developers how to apply theory to practical design tasks.
Sách cùng chuyên ngành
- Bứt phá thời số hóa : bảy khối kiến tạo chuyển đổi số thành công
- Quản lý thông tin trên mạng xã hội trong bối cảnh bùng nổ thông tin
- Knowledge and Systems Sciences : 20th International Symposium, KSS 2019, Da Nang, Vietnam, November 29 - December 1, 2019, Proceedings
- Frontiers in Intelligent Computing : theory and applications
- A course in discrete mathematical structures