Giáo trình đặc tả hình thức
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....
Uloženo v:
| Hlavní autor: | Vũ Thanh Nguyên (Biên soạn) |
|---|---|
| Další autoři: | Hầu Nguyễn Thành Nam |
| Médium: | Kniha |
| Jazyk: | Vietnamese |
| Vydáno: |
Tp. Hồ Chí Minh
Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh
2015
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Nam Cần Thơ |
|---|
Podobné jednotky
-
Giáo trình thực tập điện tử & kỹ thuật số 1
Autor: Vũ, Thành Vinh, a další
Vydáno: (2011) -
Giáo trình mô hình hóa quyết định
Autor: Huỳnh Xuân Hiệp
Vydáno: (2014) -
Giáo trình thực tập điện tử và kỹ thuật số 2
Autor: Vũ, Thành Vinh, a další
Vydáno: (2011) -
Giáo trình kỹ thuật lập trình mô phỏng thế giới thực
Autor: Nguyễn, Văn Huân, a další
Vydáno: (2011) -
Giáo trình ngôn ngữ mô hình hóa UML
Autor: Phạm Thị Xuân Lộc
Vydáno: (2014)


