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

Full description

Saved in:

Bibliographic Details
Main Author:	Vũ, Thanh Nguyên
Other Authors:	Hầu Nguyễn, Thành Nam
Format:	Book
Language:	Undetermined
Published:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Subjects:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Online Access:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Tags:	Add Tag No Tags, Be the first to tag this record!

Institutions:	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

by Vũ Thanh Nguyên
Published 2015

Institutions: 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

Similar Items