Software abstractions : logic, language, and analysis

• Tác giả: Daniel Jackson
• Ngôn ngữ: eng
• ISBN-10: 0262017156
• ISBN-13: 978-0262017152
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Cambridge, Mass. : MIT Press, 2012
• Mô tả vật lý: xviii, 354 p. : , ill. ; , 24 cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 79444
• Chủ đề: 1. Computer software--Development

Includes bibliographical references and index.