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

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

द्वारा Vũ Thanh Nguyên
प्रकाशित 2015

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

समान संसाधन