Giáo trình đặc tả hình thức Vũ Thanh Nguyên, Hầu Nguyễn Thành Nam
Tác giả: Vũ Thanh Nguyên [Biên soạn].
Contributor(s): Hầu Nguyễn Thành Nam.
Nhà xuất bản: Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015Thông tin mô tả: 249tr. Hình vẽ 21 cm.Số ISBN: 9786047326570.Chủ đề: Công nghệ thông tinSố phân loại DDC: 005.13.075 Tóm tắt: Giáo trình Đặc tả hình thức 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 hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z.| Kiểu tài liệu | Thư viện hiện tại | Ký hiệu phân loại | Trạng thái | Ngày hết hạn | Đăng ký cá biệt |
|---|---|---|---|---|---|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02131 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02132 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02133 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02134 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02135 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02136 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02137 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02138 | ||
|
Sách
|
005.13.075 Ng.527 (Xem kệ sách) | Sẵn sàng | MD.02139 |
Giáo trình Đặc tả hình thức 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 hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z.
Click vào ảnh bìa để xem rõ hơn.
Hiện tại chưa có bình luận nào về tài liệu này.