Giáo trình đặc tả hình thức

Codi QR

Giáo trình đặc tả hình thức

Veure altres versions (1)

Giáo trình Đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z....

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Vũ Thanh Nguyên (Biên soạn)
Altres autors:	Hầu Nguyễn Thành Nam
Format:	Llibre
Idioma:	Vietnamese
Publicat:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Matèries:	Công nghệ thông tin
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Thư viện Trường Đại học Nam Cần Thơ

Ítems similars

Giáo trình thực tập điện tử & kỹ thuật số 1
per: Vũ, Thành Vinh, et al.
Publicat: (2011)

Giáo trình mô hình hóa quyết định
per: Huỳnh Xuân Hiệp
Publicat: (2014)

Giáo trình thực tập điện tử và kỹ thuật số 2
per: Vũ, Thành Vinh, et al.
Publicat: (2011)

Giáo trình kỹ thuật lập trình mô phỏng thế giới thực
per: Nguyễn, Văn Huân, et al.
Publicat: (2011)

Giáo trình ngôn ngữ mô hình hóa UML
per: Phạm Thị Xuân Lộc
Publicat: (2014)

Giáo trình nhập môn phát triển game
per: Vũ Thanh Nguyên
Publicat: (2015)

Giáo trình thực hành Coreldraw : x7-x8
per: Phạm Quang Hiển
Publicat: (2016)

Giáo trình các hệ tri thức và khai thác dữ liệu
per: Đỗ Thanh Nghị
Publicat: (2012)

Giáo trình thực hành Excel : Dùng cho các phiên bản 2016-2013-2010
per: Phạm Quang Hiển
Publicat: (2017)

Giáo trình lập trình web
per: Đỗ Thanh Nghị
Publicat: (2015)

Giáo trình thực hành Microsoft Word : Dùng cho các phiên bản
per: Phạm Quang Hiển
Publicat: (2016)

Giáo trình thực hành Kiểm thử phần mềm
per: Phạm Quang Huy
Publicat: (2020)

Giáo trình lập trình song song
per: Đỗ Thanh Nghị
Publicat: (2014)

Giáo trình lý thuyết & thực hành tin học văn phòng
per: Nguyễn Đình Tê
Publicat: (2007)

Giáo trình lý thuyết & thực hành tin học văn phòng
per: Nguyễn Đình Tê
Publicat: (2007)

Giáo trình cơ sở dữ liệu lý thuyết và thực hành
per: Nguyễn Ngọc Cương
Publicat: (2015)

Giáo trình lý thuyết thông tin
per: Vũ Vinh Quang
Publicat: (2010)

Giáo trình Hệ thống viễn thông
per: Vũ Văn Yêm
Publicat: (2020)

Giáo trình nguyên lý máy học
per: Đỗ Thanh Nghị
Publicat: (2012)

Giáo trình lập trình ứng dụng mạng
per: Nguyễn Hữu Hòa
Publicat: (2019)

Giáo trình Lập trình Android : Giáo trình cho bậc đại học ngành công nghệ thông tin
per: Lê Hoàng Sơn
Publicat: (2020)

Giáo trình Cơ sở dữ liệu 1
per: Vũ, Đức Thái, et al.
Publicat: (2011)

Giáo trình lập trình hợp ngữ
per: Đỗ, Văn Toàn, et al.
Publicat: (2011)

Giáo trình multimedia
per: MapScan, group, IOIT, Hanoi, Vietnamese
Publicat: (2011)

Giáo trình lập trình ứng dụng Web
per: Hồ Văn Lâm
Publicat: (2019)

Giáo trình PLC ứng dụng trong tự động hóa quá trình sản xuất
per: Trần Thanh Hùng
Publicat: (2012)

Giáo trình hệ điều hành windows server 2003
per: Lê Tự Thanh
Publicat: (2010)

Giáo trình C++ & lập trình hướng đối tượng
per: Phạm Văn Ất
Publicat: (2017)

Giáo trình C++ & lập trình hướng đối tượng
per: Phạm Văn Ất
Publicat: (2020)

Giáo trình lý thuyết thông tin
per: Vũ, Vinh Quang, et al.
Publicat: (2014)

Giáo trình kỹ thuật thông tin quang 2
per: Đỗ, Văn Việt Em
Publicat: (2014)

Giáo trình trí tuệ nhân tạo: Phần II: Tri thức và lập luận
Publicat: (2011)

Giáo trình kỹ thuật đồ họa
per: Phạm Nguyên Khang
Publicat: (2014)

Giáo trình xử lý ảnh số
per: Nguyễn Đăng Bình
Publicat: (2011)

Giáo trình Thông tin di động
per: Nguyễn Văn Đức
Publicat: (2023)

Giáo trình tin học
per: Hồ, Sỹ Đàm
Publicat: (2000)

Giáo trình tin học
per: Hồ, Sỹ Đàm
Publicat: (2000)

Giáo trình lập trình cho thiết bị di động
per: Ngô Bá Hùng
Publicat: (2016)

Giáo trình thiết kế web
per: Huỳnh Xuân Hiệp
Publicat: (2018)

Giáo trình xử lý ảnh
per: Võ Đức Khánh
Publicat: (2010)