Luận văn:Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin
Nhà xuất bản:ĐHCN
Ngày:2010
Chủ đề:Công nghệ thông tin
Ngôn ngữ C
Ngôn ngữ lập trình
Miêu tả:42 p. + CD-ROM
Luận văn ThS. Công nghệ thông tin – Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2010
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tải Free download cho anh em Ket-noi:
A_L0_00085_Noi_dung.pdf

---