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

Mã QR

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

Hiển thị phiên bản (1) khá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...

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Vũ, Thanh Nguyên
Andre forfattere:	Hầu Nguyễn, Thành Nam
Format:	Bog
Sprog:	Undetermined
Udgivet:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Fag:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Online adgang:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Lập trình và cuộc sống
af: Atwood, Jeff
Udgivet: (2017)

Giáo trình Chương trình dịch
af: Phạm, Hồng Nguyên
Udgivet: (2009)

Giáo trình lập trình Foxpro
af: Nguyễn Văn Linh
Udgivet: (2010)

Giáo trình lý thuyết & bài tập Borland Delphi /
af: Lê Phương Lan.
Udgivet: (2000)

Đồ án tốt nghiệp: Chương trình hỗ trợ học môn lập trình Windows ( C# )(kèm đĩa CD) /
af: Trần Minh Tuấn
Udgivet: (2010)

Giáo trình thực hành kiểm thử phần mềm; : Quick Test Pro, Junit, Selenium IDE, Selenium RC /
af: Phạm Quang Huy
Udgivet: (2020)

Điều khiển lập trình với PLC RSLOGIX
af: Lê, Ngọc Bích
Udgivet: (2013)

Tự học lập trình VisualBasic Version 5
af: Phạm, Thùy Nhân
Udgivet: (1998)

Model-Driven Software Development With UML and Java
af: Lano, Kevin
Udgivet: (2009)

Giáo trình C++ & lập trình hướng đối tượng
af: Phạm, Văn Ất
Udgivet: (2009)

Giáo trình kỹ nghệ phần mềm
af: Nguyễn Văn Vỵ
Udgivet: (2008)

Giáo trình kỹ nghệ phần mềm
af: Nguyễn Văn Vỵ
Udgivet: (2008)

Giáo trình kỹ nghệ phần mềm
af: Nguyễn, Văn Vỵ
Udgivet: (2008)

Giáo trình kỹ nghệ phần mềm
af: Nguyễn, Văn Vỵ
Udgivet: (2009)

Giáo trình kỹ thuật lập trình
af: Lê, Hữu Lập
Udgivet: (2002)

Giáo trình chương trình dịch
af: Phạm, Hồng Nguyên
Udgivet: (2009)

Nhập môn công nghệ phần mềm
af: Thạc, Bình Cường
Udgivet: (2008)

Thực hành lập trình phần mềm kinh doanh (Công nghệ xử lý thông tin). Tập 3 = Business programming practice (Information processing technology). Series 3
Udgivet: (2001)

Giáo trình tin học phổ cập học đường
af: Nguyễn, Tiến
Udgivet: (2005)

Tự học nhanh kỹ năng lập trình Visual Basic .Net
af: Nguyễn, Tiến Dũng
Udgivet: (2002)

Máy tính cấu trúc và lập trình
af: Nguyễn, Tăng Cường
Udgivet: (2004)

Chương trình dịch
af: Vũ Đình Hòa
Udgivet: (2007)

Chương trình dịch
af: Vũ, Đình Hòa
Udgivet: (2007)

Giáo trình lập trình quản lý với Microsoft Access 2010
af: Huỳnh, Tôn Nghĩa
Udgivet: (2014)

Giáo trình lập trình C
af: Trần, Đan Thư
Udgivet: (2001)

Giáo trình mạng máy tính nâng cao
af: Trần, Công Hùng
Udgivet: (2018)

Giáo trình kỹ thuật lập trình
Udgivet: (2002)

Giáo trình kỹ thuật lập trình C
Udgivet: (2009)

Giáo trình kỹ thuật lập trình C
af: Phạm, Văn Ất
Udgivet: (2016)

Giáo trình hứớng dẫn sử dụng Photoshop /
af: Nguyễn Phú Quảng
Udgivet: (2011)

Ngôn ngữ lập trình AutoLISP trong AutoCAD 2004. Tập 4
af: Phạm Thành Đường
Udgivet: (2003)

Bí quyết & thủ thuật trong Visual basic.Net /
Udgivet: (2004)

Bí quyết & thủ thuật trong Visual basic.Net /
Udgivet: (2004)

C++ và lập trình hướng đối tượng
af: Phạm Văn Ất
Udgivet: (2000)

C++ và lập trình hướng đối tượng
af: Phạm Văn Ất
Udgivet: (2005)

Các bài thực hành PLC S7-300 và WIN CC
Udgivet: (2017)

Giáo trình cơ sở dữ liệu.
af: Trần Công Uẩn.
Udgivet: (2005)

Thực hành lập trình phần mềm kinh doanh
af: Moon Hwang Up
Udgivet: (2001)

Giáo trình lập trình ứng dụng Web với ASP. Net /
af: Đỗ Lâm Thiên.
Udgivet: (2007)

Giáo trình lập trình ứng dụng Web với ASP. Net /
af: Đỗ Lâm Thiên.
Udgivet: (2007)