TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn
TimTaiLieu.vn - Thư viện tài liệu, ebook, đồ án, luận văn, tiểu luận, giáo trình, hướng dẫn tự học
Giới thiệu: - Được đề xuất bới Jean René Abrial ở Đại học Oxford - Ngôn ngữ đặc tả hình thức được sử dụng rộng rãi nhất - Dựa trên lý thuyết tập hợp - Ký hiệu toán học - Sử dụng các sơ đồ
Bài giảng Thiết kế luận lý 1 - Chương 3: Các mạch luận lý tổ hợp - Nguyễn Quang Huy47 trang | Lượt xem: 861 | Lượt tải: 1
Công nghệ Java ( Nguyễn Hữu Nghĩa ) - 3.5 Applet39 trang | Lượt xem: 3371 | Lượt tải: 1
Bài giảng SAX (Simple API for XML)20 trang | Lượt xem: 2483 | Lượt tải: 1
Bài giảng Javascript tổng quan64 trang | Lượt xem: 2522 | Lượt tải: 2
Phân cụm nửa giám sát dựa trên đồ thị10 trang | Lượt xem: 940 | Lượt tải: 1
Mô hình hồi quy tuyến tính từng phần sử dụng cho phân tích dữ liệu được phát triển với ngôn ngữ C# .NET6 trang | Lượt xem: 949 | Lượt tải: 1
Giáo trình Lập trình mạng bằng JAVA (full)214 trang | Lượt xem: 10872 | Lượt tải: 2
Bài giảng Cơ bản về Java42 trang | Lượt xem: 2734 | Lượt tải: 0
Bài giảng Giới thiệu về ASP11 trang | Lượt xem: 2361 | Lượt tải: 1
Bài 2: HTML cơ bản46 trang | Lượt xem: 2161 | Lượt tải: 2
