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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Vũ, Thanh Nguyên
Tác giả khác:	Hầu Nguyễn, Thành Nam
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Những chủ đề:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Truy cập trực tuyến:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Lập trình và cuộc sống
Bỡi: Atwood, Jeff
Được phát hành: (2017)

Giáo trình Chương trình dịch
Bỡi: Phạm, Hồng Nguyên
Được phát hành: (2009)

Giáo trình lập trình Foxpro
Bỡi: Nguyễn Văn Linh
Được phát hành: (2010)

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

Giáo trình thực hành kiểm thử phần mềm; : Quick Test Pro, Junit, Selenium IDE, Selenium RC /
Bỡi: Phạm Quang Huy
Được phát hành: (2020)

Điều khiển lập trình với PLC RSLOGIX
Bỡi: Lê, Ngọc Bích
Được phát hành: (2013)

Tự học lập trình VisualBasic Version 5
Bỡi: Phạm, Thùy Nhân
Được phát hành: (1998)

Model-Driven Software Development With UML and Java
Bỡi: Lano, Kevin
Được phát hành: (2009)

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

Giáo trình kỹ nghệ phần mềm
Bỡi: Nguyễn, Văn Vỵ
Được phát hành: (2008)

Giáo trình kỹ nghệ phần mềm
Bỡi: Nguyễn, Văn Vỵ
Được phát hành: (2009)

Giáo trình tin học phổ cập học đường
Bỡi: Nguyễn, Tiến
Được phát hành: (2005)

Nhập môn công nghệ phần mềm
Bỡi: Thạc, Bình Cường
Được phát hành: (2008)

Tự học nhanh kỹ năng lập trình Visual Basic .Net
Bỡi: Nguyễn, Tiến Dũng
Được phát hành: (2002)

Máy tính cấu trúc và lập trình
Bỡi: Nguyễn, Tăng Cường
Được phát hành: (2004)

Giáo trình kỹ thuật lập trình
Bỡi: Lê, Hữu Lập
Được phát hành: (2002)

Giáo trình chương trình dịch
Bỡi: Phạm, Hồng Nguyên
Được phát hành: (2009)

Giáo trình hứớng dẫn sử dụng Photoshop /
Bỡi: Nguyễn Phú Quảng
Được phát hành: (2011)

Giáo trình mạng máy tính nâng cao
Bỡi: Trần, Công Hùng
Được phát hành: (2018)

Chương trình dịch
Bỡi: Vũ Đình Hòa
Được phát hành: (2007)

Chương trình dịch
Bỡi: Vũ, Đình Hòa
Được phát hành: (2007)

Giáo trình lập trình quản lý với Microsoft Access 2010
Bỡi: Huỳnh, Tôn Nghĩa
Được phát hành: (2014)

Bí quyết & thủ thuật trong Visual basic.Net /
Được phát hành: (2004)

Bí quyết & thủ thuật trong Visual basic.Net /
Được phát hành: (2004)

Giáo trình cơ sở dữ liệu.
Bỡi: Trần Công Uẩn.
Được phát hành: (2005)

Các bài thực hành PLC S7-300 và WIN CC
Được phát hành: (2017)

Visual C++ toàn tập
Bỡi: Nguyễn, Ngọc Tuấn
Được phát hành: (2004)

Giáo trình tin học ứng dụng
Được phát hành: (2009)

Giáo trình kỹ nghệ phần mềm
Bỡi: Nguyễn, Văn Vỵ, et al.
Được phát hành: (2014)

Giáo trình lập trình C
Bỡi: Trần, Đan Thư
Được phát hành: (2001)

Cơ sở công nghệ phần mềm
Bỡi: Lương, Mạnh Bá
Được phát hành: (2018)

Công nghệ phần mềm
Bỡi: Phạm, Quang Trình
Được phát hành: (2017)

Máy tính cấu trúc và lập trình
Bỡi: Nguyễn, Tăng Cường
Được phát hành: (2004)

Giáo trình lập trình ứng dụng Web với ASP. Net /
Bỡi: Đỗ Lâm Thiên.
Được phát hành: (2007)

Giáo trình lập trình ứng dụng Web với ASP. Net /
Bỡi: Đỗ Lâm Thiên.
Được phát hành: (2007)

Giáo trình kỹ thuật lập trình C
Được phát hành: (2009)

Giáo trình kỹ thuật lập trình C
Bỡi: Phạm, Văn Ất
Được phát hành: (2016)

Giáo trình hệ quản trị cơ sở dữ liệu Oracle
Bỡi: Nguyễn, Thị Trà Linh
Được phát hành: (2009)

Thiết kế và lập trình Web với ASP /
Được phát hành: (2008)