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

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Vũ Thanh Nguyên (Biên soạn)
Další autoři:	Hầu Nguyễn Thành Nam
Médium:	Kniha
Jazyk:	Vietnamese
Vydáno:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Témata:	Công nghệ thông tin
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

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

Autor Vũ, Thanh Nguyên
Vydáno 2015

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Získat plný text

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

Podobné jednotky