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

Ful tanımlama

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Vũ Thanh Nguyên (Biên soạn)
Diğer Yazarlar:	Hầu Nguyễn Thành Nam
Materyal Türü:	Kitap
Dil:	Vietnamese
Baskı/Yayın Bilgisi:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Konular:	Công nghệ thông tin
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Yazar: Vũ, Thanh Nguyên
Baskı/Yayın Bilgisi 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

Tam Metin Erişim

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

Benzer Materyaller