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

Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...

詳細記述

保存先:

書誌詳細
第一著者:	Vũ, Thanh Nguyên
その他の著者:	Hầu Nguyễn, Thành Nam
フォーマット:	図書
言語:	Undetermined
出版事項:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
主題:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
オンライン･アクセス:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

その他の書誌記述
要約:	Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z
物理的記述:	249tr.

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

類似資料