Kiểm chứng chương trình dựa trên SMT / Lê, Thị Hằng; Tô, Văn Khánh
Tác giả : Lê, Thị Hằng; Tô, Văn Khánh
Nhà xuất bản : ĐHCN
Năm xuất bản : 2014
Mô tả vật lý : 73 tr.
Chủ đề : 1. Thesis.
Thông tin chi tiết
| Tóm tắt : | Chương 1: Giới thiệu. Chương 2: Kiểm chứng chương trình và thực thi tượng trưng. Chương 3: Satisfiability modulo theories (SMT). Chương 4: Kiểm chứng dựa trên KLEE |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Đại học Công nghệ - ĐHQGHN
|
|
https://repository.vnu.edu.vn/handle/VNU_123/43266 |
Tài liệu cùng tác giả
Nét đặc thù của việc khám phá, thể hiện con người trong tiểu thuyết Việt Nam 1945-1975 / Lê, Thị Hằng
Tác giả : Lê, Thị Hằng
Nhà xuất bản : H. : ĐHQGHN
Năm xuất bản : 2015
Cơ chế trách nhiệm của chính phủ và các thành viên chính phủ trong nhà nước pháp quyền : Luận văn ThS. Luật: 60 38 01 / Lê, Thị Hằng; Bùi, Xuân Đức
Tác giả : Lê, Thị Hằng; Bùi, Xuân Đức
Nhà xuất bản : Khoa Luật
Năm xuất bản : 2007
Analysis on outcomes of implementing program 135 in Period II (2006-2010) on socio-economic development in communes in specially difficult areas: Comparison of cases of provinces of Cao Bang and Thanh Hoa = Phân tích hiệu quả của việc thực thi Chương trìn / Lê, Thị Hằng; Sơn, Thị Thanh Lộc,Cầm, Bá Tường,Nguyễn, Quốc Việt,Eriksson, Lars-Torsten
Tác giả : Lê, Thị Hằng; Sơn, Thị Thanh Lộc,Cầm, Bá Tường,Nguyễn, Quốc Việt,Eriksson, Lars-Torsten
Nhà xuất bản : ĐHKT
Năm xuất bản : 2012
Hoạt động bồi dưỡng cho giáo viên giáo dục kinh tế và pháp luật trên địa bàn quận Liên Chiểu, thành phố Đà Nẵng / Lê, Thị Hằng; Nguyễn, Thị Hương.
Tác giả : Lê, Thị Hằng; Nguyễn, Thị Hương.
Nhà xuất bản : Trường Đại học Sư Phạm – Đại Học Đà Nẵng
Năm xuất bản : 2023
Tình yêu trong thơ Tagore. / Lê, Thị Hằng
Tác giả : Lê, Thị Hằng
Nhà xuất bản : Trường Đại học Sư Phạm - Đại học Đà Nẵng
Năm xuất bản : 2012
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN