Tài liệu Thư viện số
- UTE. Thông tin -Thư viện (407 )
- UTE. Giáo trình 65 Năm (387 )
- UTE. Kỷ yếu hội thảo (10 )
- UTE. Tạp chí (62 )
- UTE. Luận văn, Luận án (2757 )
- UTE. Báo cáo, Đồ án (7244 )
- UTE. Báo cáo NCKH (1308 )
- UTE. Ngành Luật (53 )
- UTE. Thông tin Tuyển sinh (61 )
- Cơ khí chế tạo máy (2499 )
- Giáo trình, TL học tập (1354 )
- Tài liệu theo CTĐT (0 )
- Điện - Điện tử (4175 )
- Cơ khí động lực (1222 )
- Xây dựng - Kiến trúc (3419 )
- CN Thực phẩm - Môi trường (992 )
- Công nghệ thông tin (3044 )
- Kinh tế - Quản lý (4405 )
- CN In - Truyền thông (308 )
- CN May - thời trang (531 )
- Nghệ thuật - Ẩm thực (1451 )
- Nông - Lâm - Ngư Nghiệp (1325 )
- Y học - Sức khỏe (799 )
- Khoa học xã hội (4910 )
- Lịch sử - Địa lý - Du lịch (493 )
- Khoa học tự nhiên (2774 )
- Văn học (2559 )
- Ngôn ngữ (3941 )
- Thể loại khác (988 )
- Kỹ thuật - Khoa học ứng dụng (317 )
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
Giáo trình đặc tả hình thức
Giáo trình cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với 2 ngôn ngữ đặc tả quen thuộc nhất là VDM và Z.
Sách có tại thư viện khu A, Phòng Mượn
Số phân loại: 005.107 V986-N576
Sách có tại thư viện khu A, Phòng Mượn
Số phân loại: 005.107 V986-N576
Từ khóa: Công nghệ phần mềm, Học tập và giảng dạy, Đặc tả hình thức
9 p ovanketv 08/08/2016 822 8
Bạn đang xem trang mẫu tài liệu này.
Phát triển bởi Thư viện số
