| Dạng tài liệu: | Tư liệu ngôn ngữ (Sách) | | Thông tin mô tả: | Nguyễn Văn Tiến
Logic thời gian và ứng dụng trong kiểm chứng phần mềm : Đồ án tốt nghiệp ĐH chuyên ngành CNTT / SV thực hiện: Nguyễn Văn Tiến, Đinh Viết Quân, Thái Anh Tuấn; GV hướng dẫn: Nguyễn Minh Hải
H. : Học viện công nghệ bưu chính viễn thông, 2004
198tr. ; 30cm
|
|