|
|
|
|
| LEADER |
00706cam a2200217 7i4500 |
| 001 |
0000040035 |
| 005 |
20220819090000.0 |
| 020 |
|
|
|a 9780521559768 (pbk)
|
| 082 |
|
|
|a 005.1 JAC
|
| 090 |
0 |
0 |
|a QA76.73
|b JAC 1997
|
| 100 |
1 |
|
|a Jacky, Jonathan
|e author
|
| 245 |
1 |
4 |
|a The way of Z practical programming with formal methods
|c Jonathan Jacky.
|
| 264 |
|
1 |
|a Cambridge, UK:
|b Cambridge University Press,
|c 1997.
|
| 300 |
|
|
|a xviii, 350 pages:
|b illustrations;
|c 24 cm.
|
| 336 |
|
|
|a text
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|2 rdamedia
|
| 338 |
|
|
|a volume
|2 rdacarrier
|
| 501 |
0 |
0 |
|a BITCUN
|
| 650 |
1 |
0 |
|a Formal methods (Computer science)
|
| 650 |
1 |
0 |
|a Computer Program language
|
| 650 |
1 |
0 |
|a Z (Computer program language)
|
