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

Full description

Saved in:
Bibliographic Details
Main Author: Bowen, Jonathan
Format: Book
Language:Undetermined
Published: [k.x.đ] [k.x.đ] 2003
Subjects:
Programming languages > Z; Công nghệ thông tin > Ngôn ngữ lập trình > Z
Online Access:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326
Tags: Add Tag
No Tags, Be the first to tag this record!
Institutions: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Description
Summary: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;
Physical Description:302 pp.

Similar Items