|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000045341 |
| 008 |
090204s1996 enk eng |
| 020 |
|
|
|a 0132422077
|
| 020 |
|
|
|a 9780132422079
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b P68 1996
|
| 100 |
1 |
|
|a Potter, Ben
|e author
|
| 245 |
1 |
3 |
|a An introduction to formal specification and Z
|c Ben Potter, Jane Sinclair, David Till
|
| 250 |
|
|
|a 2nd ed
|
| 260 |
|
|
|a London ;
|a New York
|b Prentice Hall
|c c1996
|
| 300 |
|
|
|a xiv, 434 p.
|b ill.
|c 23 cm
|
| 440 |
|
0 |
|a Prentice-Hall international series in computer science
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 650 |
|
0 |
|a Z (Computer program language)
|
| 700 |
1 |
|
|a Sinclair, Jane
|e author
|
| 700 |
1 |
|
|a Till, David
|e author
|
| 999 |
|
|
|a 1000114668
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|