Nam Can Tho university

Hiển thị đơn giản Hiển thị MARC Hiển thị ISBD

Vũ Thanh Nguyê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

Tóm tắt: 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.

ISBN: 9786047326570 26000

Từ khóa - Ngành đào tạo: Công nghệ thông tin

Ký hiệu xếp giá: 005.13.075 / Ng.527