Tài liệu số - Xem chi tiết

DHTDM170029326


Nhan đề: Formal Speciï¬cation and Documentation using Z: $bA Case Study Approach
Tác giả: Bowen, Jonathan
Từ khóa/ Chủ đề: Programming languages$xZ Công nghệ thông tin$xNgôn ngữ lập trình$xZ
Tóm tắt: Bibliography: 253 - 283 Introduction (Formal Speciï¬cation using Z; Industrial Use of Formal Methods; A Brief Introduction to Z); Network Services (Documentation using Z; A File Storage Service); UNIX Software (A Text Formatting Tool; An Event-based Inpu
Nhà xuất bản: [k.x.đ]
Năm xuất bản: 2003
Loại tài liệu: 0
Ngôn ngữ: vie

Nhan đề:

Formal Speciï¬cation and Documentation using Z: $bA Case Study Approach

Tác giả:

Bowen, Jonathan

Từ khóa/ Chủ đề:

Programming languages$xZ
Công nghệ thông tin$xNgôn ngữ lập trình$xZ

Tóm tắt:

Bibliography: 253 - 283
Introduction (Formal Speciï¬cation using Z; Industrial Use of Formal Methods; A Brief Introduction to Z); Network Services (Documentation using Z; A File Storage Service); UNIX Software (A Text Formatting Tool; An Event-based Inpu

Nhà xuất bản:

[k.x.đ]

Năm xuất bản:

2003

Loại tài liệu:

Ngôn ngữ:

vie

Danh sách tệp tin điện tử
Vui lòng đăng nhập trước khi xem chi tiết toàn văn.. Đăng nhập


Thông tin chia sẻ

	Lượt xem:	10	Lượt tải:	0
	Bình chọn:
	Lượt bình chọn:	0	Điểm bình chọn:	0
	Chuyên đề:	- Công nghệ thông tin