Giáo trình đặc tả hình thứ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̛

Miêu tả
Tóm tắt:	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ả vật lý:	249tr. Hình vẽ 21 cm
số ISBN:	9786047326570

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

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