Formal Speciï¬cation and Documentation using Z A Case Study Approach
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 Input System); Instruction Sets; Graphics; Wind...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Undetermined |
| Cyhoeddwyd: |
[k.x.đ]
[k.x.đ]
2003
|
| Pynciau: | |
| Mynediad Ar-lein: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Thủ Dầu Một |
|---|