Giáo trình Đặc tả hình thức
Giáo trình Đặc tả hình thức
4.5
1
Lượt xem
0
Đã bán
Chọn sản phẩm
Sách giấy
Tạm hết hàng
Thông tin xuất bản
NXB
NXB Đại học Quốc gia TP.HCM
Người dịch:
Năm XB:
Loại sách:
Sách giấy;
Khổ sách:
14.5 x 20.5
Số trang:
250
Quốc gia:
Ngôn ngữ:
Mã ISBN:
978-604-73-2657-0
Mã ISBN Điện tử:
Nội dung chính của giáo trình gồm 7 chương:

Chương 1: Mở đầu

Chương 2: Các cơ sở đặc tả

Chương 3: Đặc tả các thành phần cơ sở 

Chương 4Đặc tả và tính đúng đắn của hàm

Chương 5Đặc tả với ngôn ngữ Z

Chương 6Đặc tả với ngôn ngữ VDM

Chương 7Đặc tả với ngôn ngữ hiện đại OBJECT-Z.

Bình luận

0/1500

Tuyển tập hay nhất

Tuyển tập hay nhất