|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000042802 |
| 005 |
20070917093000.0 |
| 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
|
| 504 |
|
|
|a Includes bibliographical references (p. 223-224) and index
|
| 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
|