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

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Vũ Thanh Nguyên (Biên soạn)
Άλλοι συγγραφείς:	Hầu Nguyễn Thành Nam
Μορφή:	Βιβλίο
Γλώσσα:	Vietnamese
Έκδοση:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Θέματα:	Công nghệ thông tin
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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 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.
Φυσική περιγραφή:	249tr. Hình vẽ 21 cm
ISBN:	9786047326570

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

Παρόμοια τεκμήρια