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ự

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

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)

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

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

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)

Giáo trình thực hành tin học căn bản văn phòng
Bỡi: Ngô, Quang Định
Được phát hành: (2012)

Giáo trình thực hành Adobe Illustrator CS4 (Kèm CD)
Bỡi: Phùng, Thị Tuyết
Được phát hành: (2012)

Giáo trình thực hành thiết kế mẫu Adobe Illustractor CS4
Bỡi: Phạm, Phương Hoa, et al.
Được phát hành: (2012)

Giáo trình hệ điều hành UNIX-LINUX
Bỡi: Nguyễn, T. Thanh Huyền
Được phát hành: (2012)

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)

Giáo trình lập trình hợp ngữ
Bỡi: Đỗ, Văn Toàn, et al.
Được phát hành: (2011)

Giáo trình multimedia
Bỡi: MapScan, group, IOIT, Hanoi, Vietnamese
Được phát hành: (2011)

Giáo trình Cơ sở dữ liệu 1
Bỡi: Vũ, Đức Thái, et al.
Được phát hành: (2011)

Giáo trình siminar 1
Bỡi: Nguyễn, Bảo Vệ, et al.
Được phát hành: (2012)

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)

Giáo trình kỹ thuật thông tin quang 2
Bỡi: Đỗ, Văn Việt Em
Được phát hành: (2014)

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

Giáo trình lý thuyết thông tin
Bỡi: Vũ, Vinh Quang, et al.
Được phát hành: (2014)

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)

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

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)