|
|
|
|
| LEADER |
006430000a22001690004500 |
| 020 |
|
|
|a 0-521-55976-6
|
| 082 |
|
|
|a 005.133 Z N7
|
| 100 |
|
|
|a Jacky, Jonathan
|
| 245 |
|
|
|a The Way of Z: practical programming with formal methods
|
| 260 |
|
|
|a Cambridge, CUP
|
| 260 |
|
|
|c 1997
|
| 465 |
|
|
|a R 795
|
| 650 |
|
|
|a Computer programm language
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 13220
|d 13220
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_133000000000000_Z_N7
|7 0
|8 ENG
|9 13021
|a MGUL
|b MGUL
|d 2013-07-16
|e R 795
|l 0
|o 005.133 Z N7
|p 29275
|r 2013-07-16
|w 2013-07-16
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_133000000000000_Z
|7 0
|9 74186
|a SOCS
|b SOCS
|d 2015-06-11
|g 795.00
|l 0
|o 005.133 Z
|p SOCS1412
|r 2015-06-11
|w 2015-06-11
|y BK
|