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...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | Undetermined |
| Publicado em: |
[k.x.đ]
[k.x.đ]
2003
|
| Assuntos: | |
| Acesso em linha: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29326 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| 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 Speciï¬cation 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 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; 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 | ||