- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện Điện Tử
- Kỹ thuật xây dựng (962 )
- Kiến trúc (515 )
- Cấp thoát nước (105 )
- Kỹ thuật hạ tầng đô thị (376 )
- Kế toán (414 )
- Công nghệ thông tin (695 )
- Quản trị kinh doanh (382 )
- Tài chính - Ngân hàng (362 )
- Kinh tế - Thương mại (113 )
- Cơ - Điện điện tử (107 )
- Công nghệ ô tô (126 )
- Kỹ thuật XD CT giao thông (817 )
- Khoa cơ bản (387 )
- Tài liệu tham khảo khác (454 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: ngon ngu dac ta
Kết quả 1-2 trong khoảng 2
-
Bài giảng Đặc tả hình thức: Chương 1 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...
40 p cuc 31/01/2018 289 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình
-
Bài giảng Đặc tả hình thức: Chương 9 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 9 cung cấp cho người học các kiến thức: Từ mô hình đến cài đặt, design by contract (DBC), ý tưởng cơ bản, ngôn ngữ đặc tả hay ngôn ngữ lập trình, công cụ hỗ trợ,...
22 p cuc 31/01/2018 304 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Design by contract, Ngôn ngữ đặc tả, Công cụ hỗ trợ
Đăng nhập
Phát triển bởi Thư viện số
