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

Mã QR

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

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Vũ Thanh Nguyên (Biên soạn)
Údair Eile:	Hầu Nguyễn Thành Nam
Formáid:	Leabhar
Teanga:	Vietnamese
Foilsithe:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Ábhair:	Công nghệ thông tin
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
le: Lê Hoàng Sơn
Foilsithe: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Giáo trình mạng máy tính
le: Ngô Bá Hùng
Foilsithe: (2014)

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

Giáo trình kỹ thuật lập trình hướng đối tượng bằng C++
le: Nguyễn Tuấn Anh
Foilsithe: (2016)