|
|
|
|
| LEADER |
00622 a2200169 4500 |
| 008 |
090330t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9 780521 559768
|
| 082 |
|
|
|a 004.43 JAC
|
| 100 |
|
|
|a Jacky, Jonathan
|9 4598
|
| 245 |
|
|
|a The way of Z: practical programming with formal methods
|c Jonathan Jacky
|
| 260 |
|
|
|a Cambridge
|b Cambridge University press
|c 1997
|
| 300 |
|
|
|a xviii, 350p.
|
| 650 |
|
|
|a Z (Computer program language)
|9 4599
|
| 700 |
|
|
|a Jacky, Jonathan
|9 4600
|
| 942 |
|
|
|2 ddc
|c BK
|6 _
|
| 999 |
|
|
|c 85347
|d 85347
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 00443_JAC
|7 0
|9 106739
|a DCA
|b DCA
|d 2009-03-30
|o 004.43 JAC
|p CA000463
|r 2009-03-30
|w 2009-03-30
|y BK
|