Constructing correct software

• Tác giả: John Cooke
• Ngôn ngữ: eng
• ISBN-10: 1852338202
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: New York : Springer, 2005.
• Mô tả vật lý: xxi, 509 p. : , ill. ; , 24 cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 30694
• Chủ đề: 1. Computer software--Development; 2. Formal methods (Computer science)

Includes bibliographical references (p. [501]-502) and index.