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

Đã lưu trong:

書目詳細資料
主要作者:	Vũ Thanh Nguyên (Biên soạn)
其他作者:	Hầu Nguyễn Thành Nam
格式:	圖書
語言:	Vietnamese
出版:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
主題:	Công nghệ thông tin
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

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

相似書籍

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

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

Giáo trình thực tập điện tử và kỹ thuật số 2
由: Vũ, Thành Vinh, et al.
出版: (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, et al.
出版: (2011)

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

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

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

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

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

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

Giáo trình lập trình web
由: Đỗ Thanh Nghị
出版: (2015)

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

Giáo trình lập trình song song
由: Đỗ Thanh Nghị
出版: (2014)

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

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

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

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

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

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

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

Giáo trình Cơ sở dữ liệu 1
由: Vũ, Đức Thái, et al.
出版: (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̂ Hoàng Sơn
出版: (2020)

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

Giáo trình multimedia
由: MapScan, group, IOIT, Hanoi, Vietnamese
出版: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

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

Giáo trình mạng máy tính
由: Ngô Bá Hùng
出版: (2014)

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

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