Formal Specification and Documentation using Z

Formal Specification and Documentation using Z A Case Study Approach

Bibliography: 253 - 283; Introduction (Formal Specification 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 Input System); Instruction Sets; Graphics; Wind...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Bowen, Jonathan
Định dạng: Sách
Ngôn ngữ:Undetermined
Được phát hành: [k.x.đ] [k.x.đ] 2003
Những chủ đề:
Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Truy cập trực tuyến:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
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 tâm Học liệu Trường Đại học Thủ Dầu Một
LEADER 01028nam a2200217Ia 4500
001 TDMU_29326
008 210410s9999 xx 000 0 und d
082 |a 346.579046916402632 
090 |b B435 
100 |a Bowen, Jonathan 
245 0 |a Formal Specification and Documentation using Z 
245 2 |b A Case Study Approach 
245 0 |c Jonathan Bowen 
260 |a [k.x.đ] 
260 |b [k.x.đ] 
260 |c 2003 
300 |a 302 pp. 
520 |a Bibliography: 253 - 283; Introduction (Formal Specification 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 Input System); Instruction Sets; Graphics; Window Systems;  
650 |a Programming languages  |x Z; Công nghệ thông tin  |x Ngôn ngữ lập trình  |x Z 
856 |u http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326 
980 |a Trung tâm Học liệu Trường Đại học Thủ Dầu Một 

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