CSDL sách
- 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
- Learning Perl: making easy things easy and hard things possible : 8th ed.
- Computer networking bible 3 in 1 : the complete crash course to effectively design, implement and manage networks. Including sections on security, performance and scalability
- Digital forensics and incident response : incident response tools and techniques for effective cyber threat response : 3rd ed.
- Computer networking : a top-down approach : 8th ed.
- Security engineering : a guide to building dependable distributed systems : 3rd ed.