|
|
|
|
| LEADER |
00697nam a2200205 a 4500 |
| 001 |
1941719 |
| 005 |
20171111235822.0 |
| 008 |
000608 enk erb 001 0 eng d |
| 020 |
|
|
|a 0139484728
|
| 040 |
|
|
|a TEIK
|b gre
|
| 082 |
|
0 |
|a 005.133
|
| 100 |
1 |
0 |
|a Woodcock, Jim
|
| 245 |
1 |
0 |
|a Using Z:
|b specification, refinement and proof/
|c Jim Woodcock, Jim Davies
|
| 260 |
1 |
0 |
|a London:
|b Prentice Hall,
|c 1996
|
| 300 |
1 |
0 |
|a 386σ. ;
|c 24εκ.
|
| 504 |
1 |
0 |
|a Περιέχει ευρετήριο
|
| 650 |
1 |
0 |
|a Z (Computer program language)
|
| 700 |
1 |
0 |
|a Davies, Jim
|
| 952 |
|
|
|a GRThAnMak
|b 59cc96eb6c5ad134460077cb
|c 998a
|d 945l
|e 005.45 WOO
|t 10
|x m
|z Books
|
| 952 |
|
|
|a CY-NiOUC
|b 5a043f0e6c5ad14ac1ea4cd3
|c 998a
|d 945l
|t 1
|x m
|z Books
|
