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

Full beskrivning

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Vũ Thanh Nguyên (Biên soạn)
Övriga upphovsmän:	Hầu Nguyễn Thành Nam
Materialtyp:	Bok
Språk:	Vietnamese
Publicerad:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Ämnen:	Công nghệ thông tin
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

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

av Vũ, Thanh Nguyên
Publicerad 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

Hämta fulltext

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

Liknande verk