CSDL sách

Trở về
.jpg
  • 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
Sách cùng chủ đề