Formal object-oriented specification using object-Z /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
Basingstoke :
Macmillan,
2000
|
| Assuntos: | |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Thư viện lưu trữ: | Mạng thư viện Đại học Đà Nẵng |
|---|
| LEADER | 00924cam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | 000045215 | ||
| 003 | 4385 | ||
| 005 | 20021115461102.0 | ||
| 008 | 010220|2000 vm 000 eng | ||
| 020 | |a 0333801237 (pbk.) | ||
| 040 | |a IRC |c IRC |d IRC | ||
| 041 | 0 | |a eng | |
| 082 | 1 | 4 | |a 005.117 |b DU-R |
| 100 | 1 | |a Duke, Roger. | |
| 245 | 0 | 0 | |a Formal object-oriented specification using object-Z / |c Roger Duke |
| 260 | |a Basingstoke : |b Macmillan, |c 2000 | ||
| 300 | |a x, 229p. : |b ill. | ||
| 630 | 0 | 4 | |a Object-oriented programming |
| 630 | 0 | 4 | |a Object-Z |
| 650 | 0 | 4 | |a Object-oriented programming (Computer science) |
| 650 | 0 | 4 | |a Object-Z (Computer program language) |
| OWN | |a DUT | ||
| 049 | 0 | 0 | |a mt |
| 999 | |a From the UDN01 | ||
| TYP | |a Monograph | ||
| TYP | |a Printed language | ||
| 980 | |a Mạng thư viện Đại học Đà Nẵng | ||