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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Vũ Thanh Nguyên (Biên soạn)
Awduron Eraill:	Hầu Nguyễn Thành Nam
Fformat:	Llyfr
Iaith:	Vietnamese
Cyhoeddwyd:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Pynciau:	Công nghệ thông tin
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Disgrifiad
Crynodeb:	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.
Disgrifiad Corfforoll:	249tr. Hình vẽ 21 cm
ISBN:	9786047326570

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

Eitemau Tebyg