Static analysis of software : the abstract interpretation

• Tác giả: Jean-Louis Boulanger
• Ngôn ngữ: eng
• ISBN-13: 978-1848213203
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Hoboken, NJ : Wiley, 2011
• Mô tả vật lý: p. cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 97347
• Chủ đề: 1. Computer software--Quality control; 2. Computer software--Testing; 3. Debugging in computer science

Includes bibliographical references and index.