Tài liệu Thư viện số

Danh mục TaiLieu.VN

» 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 dhsphue 31/01/2018 216 2

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 dhsphue 31/01/2018 196 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

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Bộ sưu tập Toán học

9 7815
Bộ sưu tập tài liệu Hóa học

12 9195
Bộ sư tập Tin học

10 7989
Tuyển tập Vật lý

9 6790
Tổng hợp các giáo trình, bài giảng về Cơ...

10 6709

TRƯỜNG ĐẠI HỌC SƯ PHẠM HUẾ

Địa chỉ: 34 Lê Lợi - Thành phố Huế, tỉnh Thừa Thiên Huế.
Điện thoại: 0234.3822.132. Fax: 0234.3825.824

Phát triển bởi Thư viện số