Giáo trình đặc tả hình thức
Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...
Gorde:
| Egile nagusia: | Vũ, Thanh Nguyên |
|---|---|
| Beste egile batzuk: | Hầu Nguyễn, Thành Nam |
| Formatua: | Liburua |
| Hizkuntza: | Undetermined |
| Argitaratua: |
Tp. Hồ Chí Minh
Đại học Quốc gia Tp. Hồ Chí Minh
2015
|
| Gaiak: | |
| Sarrera elektronikoa: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Thủ Dầu Một |
|---|
Antzeko izenburuak
-
Lập trình và cuộc sống
nork: Atwood, Jeff
Argitaratua: (2017) -
Giáo trình Chương trình dịch
nork: Phạm, Hồng Nguyên
Argitaratua: (2009) -
Giáo trình lập trình Foxpro
nork: Nguyễn Văn Linh
Argitaratua: (2010) -
Giáo trình lý thuyết & bài tập Borland Delphi /
nork: Lê Phương Lan.
Argitaratua: (2000) -
Đồ án tốt nghiệp: Chương trình hỗ trợ học môn lập trình Windows ( C# )(kèm đĩa CD) /
nork: Trần Minh Tuấn
Argitaratua: (2010)