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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Vũ Thanh Nguyên (Biên soạn)
Tác giả khác:	Hầu Nguyễn Thành Nam
Định dạng:	Sách
Ngôn ngữ:	Vietnamese
Được phát hành:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Những chủ đề:	Công nghệ thông tin
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Giáo trình mô hình hóa quyết định
Bỡi: Huỳnh Xuân Hiệp
Được phát hành: (2014)

Giáo trình ngôn ngữ mô hình hóa UML
Bỡi: Phạm Thị Xuân Lộc
Được phát hành: (2014)

Giáo trình nhập môn phát triển game
Bỡi: Vũ Thanh Nguyên
Được phát hành: (2015)

Giáo trình thực hành Coreldraw : x7-x8
Bỡi: Phạm Quang Hiển
Được phát hành: (2016)

Giáo trình các hệ tri thức và khai thác dữ liệu
Bỡi: Đỗ Thanh Nghị
Được phát hành: (2012)

Giáo trình lập trình web
Bỡi: Đỗ Thanh Nghị
Được phát hành: (2015)

Giáo trình thực hành Excel : Dùng cho các phiên bản 2016-2013-2010
Bỡi: Phạm Quang Hiển
Được phát hành: (2017)

Giáo trình thực hành Microsoft Word : Dùng cho các phiên bản
Bỡi: Phạm Quang Hiển
Được phát hành: (2016)

Giáo trình thực hành Kiểm thử phần mềm
Bỡi: Phạm Quang Huy
Được phát hành: (2020)

Giáo trình lập trình song song
Bỡi: Đỗ Thanh Nghị
Được phát hành: (2014)

Giáo trình lý thuyết & thực hành tin học văn phòng
Bỡi: Nguyễn Đình Tê
Được phát hành: (2007)

Giáo trình lý thuyết & thực hành tin học văn phòng
Bỡi: Nguyễn Đình Tê
Được phát hành: (2007)

Giáo trình cơ sở dữ liệu lý thuyết và thực hành
Bỡi: Nguyễn Ngọc Cương
Được phát hành: (2015)

Giáo trình lý thuyết thông tin
Bỡi: Vũ Vinh Quang
Được phát hành: (2010)

Giáo trình nguyên lý máy học
Bỡi: Đỗ Thanh Nghị
Được phát hành: (2012)

Giáo trình lập trình ứng dụng mạng
Bỡi: Nguyễn Hữu Hòa
Được phát hành: (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
Bỡi: Lê Hoàng Sơn
Được phát hành: (2020)

Giáo trình lập trình ứng dụng Web
Bỡi: Hồ Văn Lâm
Được phát hành: (2019)

Giáo trình PLC ứng dụng trong tự động hóa quá trình sản xuất
Bỡi: Trần Thanh Hùng
Được phát hành: (2012)

Giáo trình hệ điều hành windows server 2003
Bỡi: Lê Tự Thanh
Được phát hành: (2010)

Giáo trình C++ & lập trình hướng đối tượng
Bỡi: Phạm Văn Ất
Được phát hành: (2017)

Giáo trình C++ & lập trình hướng đối tượng
Bỡi: Phạm Văn Ất
Được phát hành: (2020)

Giáo trình trí tuệ nhân tạo: Phần II: Tri thức và lập luận
Được phát hành: (2011)

Giáo trình kỹ thuật đồ họa
Bỡi: Phạm Nguyên Khang
Được phát hành: (2014)

Giáo trình xử lý ảnh số
Bỡi: Nguyễn Đăng Bình
Được phát hành: (2011)

Giáo trình tin học
Bỡi: Hồ, Sỹ Đàm
Được phát hành: (2000)

Giáo trình tin học
Bỡi: Hồ, Sỹ Đàm
Được phát hành: (2000)

Giáo trình thiết kế web
Bỡi: Huỳnh Xuân Hiệp
Được phát hành: (2018)

Giáo trình xử lý ảnh
Bỡi: Võ Đức Khánh
Được phát hành: (2010)

Giáo trình mạng máy tính
Bỡi: Ngô Bá Hùng
Được phát hành: (2014)

Giáo trình lập trình cho thiết bị di động
Bỡi: Ngô Bá Hùng
Được phát hành: (2016)

Giáo trình kỹ thuật lập trình hướng đối tượng bằng C++
Bỡi: Nguyễn Tuấn Anh
Được phát hành: (2016)

Giáo trình phát triển ứng dụng web
Bỡi: Nguyễn Đình Thuân
Được phát hành: (2015)

Giáo trình cơ sở an toàn thông tin
Bỡi: Nguyễn Khanh Văn
Được phát hành: (2019)

Giáo trình quản trị hệ thống mạng
Bỡi: Nguyễn Hữu Hòa
Được phát hành: (2017)

Giáo trình tin học đại cương
Bỡi: Phạm Thị Lê Anh
Được phát hành: (2015)

Giáo trình Tin học đại cương
Bỡi: Trần Đình Khang
Được phát hành: (2019)

Giáo trình lý thuyết thông tin
Bỡi: Lê Quyết Thắng

Giáo trình trí tuệ nhân tạo
Được phát hành: (2011)

Giáo trình trí tuệ nhân tạo
Được phát hành: (2004)