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....
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Vũ Thanh Nguyên (Biên soạn) |
|---|---|
| Άλλοι συγγραφείς: | Hầu Nguyễn Thành Nam |
| Μορφή: | Βιβλίο |
| Γλώσσα: | Vietnamese |
| Έκδοση: |
Tp. Hồ Chí Minh
Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh
2015
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Nam Cần Thơ |
|---|
Παρόμοια τεκμήρια
-
Giáo trình thực tập điện tử & kỹ thuật số 1
ανά: Vũ, Thành Vinh, κ.ά.
Έκδοση: (2011) -
Giáo trình mô hình hóa quyết định
ανά: Huỳnh Xuân Hiệp
Έκδοση: (2014) -
Giáo trình thực tập điện tử và kỹ thuật số 2
ανά: Vũ, Thành Vinh, κ.ά.
Έκδοση: (2011) -
Giáo trình kỹ thuật lập trình mô phỏng thế giới thực
ανά: Nguyễn, Văn Huân, κ.ά.
Έκδοση: (2011) -
Giáo trình ngôn ngữ mô hình hóa UML
ανά: Phạm Thị Xuân Lộc
Έκδοση: (2014)


