TY - BOOK AU - Norton,Peter AU - Nguyễn,Việt Hải TI - Kỹ thuật lập trình không có lỗi U1 - 005.362 PY - 2000/// CY - Hà Nội PB - Giao thông Vận tải KW - Kỹ thuật lập trình N2 - Trình bày các cơ sở của đặc tả, lập trình, thẩm tra và kiểm định theo phong cách Phòng sạch trong kĩ thuật lập trình không có lỗi. Các giải thích, bổ sung và những ví dụ bao hàm các phần của quá trình đó ER -