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

QR Kodea

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

Hiển thị phiên bản (1) khác

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....

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Vũ Thanh Nguyên (Biên soạn)
Beste egile batzuk:	Hầu Nguyễn Thành Nam
Formatua:	Liburua
Hizkuntza:	Vietnamese
Argitaratua:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Gaiak:	Công nghệ thông tin
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Giáo trình lập trình ứng dụng mạng
nork: Nguyễn Hữu Hòa
Argitaratua: (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
nork: Lê Hoàng Sơn
Argitaratua: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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