Đặc Tả Hình Thức - Vũ Thanh Nguyên - Đh Công Nghệ Thông Tin - Lý thuyết - Đề thi |
Giới thiệu, nội dung môn học |
|||
Ch1. Giới thiệu về Đặc tả hình thức Ch2. Cơ sở Toán học trong VDM Ch3. Mô hình hóa dữ liệu, kiểu tập hợp Ch4. Dữ liệu kiểu mảng, chuỗi Ch5. Đặc tả hàm Ch6. Kiểu đối tượng phức Ch7. Kiểu ánh xạ Ch8. Giới thiệu sơ lược về Z |