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

著者: Vũ, Thanh Nguyên
出版事項 2015

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

全文の入手

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

類似資料