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

QR koda

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Vũ, Thanh Nguyên
Drugi avtorji:	Hầu Nguyễn, Thành Nam
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Teme:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Online dostop:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

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

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

Giáo trình lý thuyết & bài tập Borland Delphi /
od: Lê Phương Lan.
Izdano: (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) /
od: Trần Minh Tuấn
Izdano: (2010)

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

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

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

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

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

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

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

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

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

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

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

Nhập môn công nghệ phần mềm
od: Thạc, Bình Cường
Izdano: (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
Izdano: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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