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

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Vũ Thanh Nguyên (Biên soạn)
Údair Eile:	Hầu Nguyễn Thành Nam
Formáid:	Leabhar
Teanga:	Vietnamese
Foilsithe:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Ábhair:	Công nghệ thông tin
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Cur Síos
Achoimre:	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.
Cur Síos Fisiciúil:	249tr. Hình vẽ 21 cm
ISBN:	9786047326570

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

Míreanna Comhchosúla