|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000042802 |
| 008 |
030428s2000 |
| 020 |
|
|
|a 0333801237
|
| 090 |
0 |
0 |
|a QA76.73.Z2
|b D85 2000
|
| 100 |
0 |
|
|a Duke, Roger
|e author
|
| 245 |
1 |
0 |
|a Formal object-oriented specification using object-Z
|c Roger Duke and Gordon Rose
|
| 260 |
2 |
|
|a Houndmills, Basingstoke, Hampshire
|b Macmillan Press
|c 2000
|
| 300 |
|
|
|a x, 228 p.
|c 25 cm
|
| 440 |
0 |
0 |
|a Cornerstones of computing
|
| 650 |
|
0 |
|a Object-oriented programming (Computer science)
|
| 650 |
|
0 |
|a Z (Computer program language)
|
| 700 |
1 |
|
|a Rose, Gordon
|e author
|
| 999 |
|
|
|a 1000095683
|b Book
|c OPEN SHELF (30 DAYS)
|e Gong Badak Campus
|