02556nam a22003017a 4500 NCT_19810 171111b xxu||||| |||| 00| 0 vie d 941 941 9786047326570 26000 22nd ed. 005.13.075 Ng.527 Vũ Thanh Nguyên Biên soạn Giáo trình đặc tả hình thức Vũ Thanh Nguyên, Hầu Nguyễn Thành Nam Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015 249tr. Hình vẽ 21 cm Giáo trình Đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z. Công nghệ thông tin Hầu Nguyễn Thành Nam ddc BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3454 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02131 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3455 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02132 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3456 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02133 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3457 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02134 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3458 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02135 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3459 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02136 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3460 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02137 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3461 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02138 2017-11-11 26000.00 2017-11-11 BK 0 0 ddc 0 005_130000000000000_075_NG_527 0 3462 000001 000001 2017-11-11 005.13.075 Ng.527 MD.02139 2017-11-11 26000.00 2017-11-11 BK Thư viện Trường Đại học Nam Cần Thơ