|
|
|
|
| LEADER |
01030cam a2200289 a 4500 |
| 001 |
c000225558 |
| 003 |
CARM |
| 005 |
20061114123447.0 |
| 008 |
940707s1992 enk b 000 0 eng |
| 010 |
|
|
|a 92040591
|
| 019 |
1 |
|
|a 27568328
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387198091
|
| 020 |
|
|
|a 3540198091
|
| 035 |
|
|
|a (OCoLC)27012107
|5 LACONCORD2021
|
| 040 |
|
|
|a WCU
|b eng
|c VCAV
|d VCAV
|
| 245 |
0 |
0 |
|a On the refinement calculus /
|c edited by Carroll Morgan and Trevor Vickers.
|
| 260 |
|
|
|a London :
|b Springer-Verlag,
|c 1992.
|
| 300 |
|
|
|a 159 p. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Formal approaches to computing and information technology
|
| 504 |
|
|
|a Bibliography: p. 155-158.
|
| 650 |
|
0 |
|a Structured programming.
|
| 650 |
|
0 |
|a Calculus.
|
| 700 |
1 |
|
|a Morgan, Carroll.
|
| 700 |
1 |
|
|a Vickers, Trevor.
|
| 852 |
8 |
|
|b CARM
|h A2:AP33G0
|i C08411
|p 0317612
|f BK
|
| 999 |
f |
f |
|i 6c4ffe15-6c99-560c-b615-915bb84f2dc6
|s 87717b56-c3c4-5b0e-a8a4-c62a2355d08c
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C08411
|f A2:AP33G0
|h Other scheme
|i book
|m 0317612
|