|
|
|
|
| LEADER |
01167nam a2200277 a 4500 |
| 001 |
c000115896 |
| 003 |
CARM |
| 005 |
20000114124423.0 |
| 008 |
990805s1978 fi b 000 0 eng d |
| 019 |
1 |
|
|a 20357542
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)4590990
|5 LACONCORD2021
|
| 040 |
|
|
|a VSWT
|b eng
|
| 082 |
0 |
4 |
|a 005.11
|2 21
|
| 100 |
1 |
|
|a Back, Ralph-Johan.
|
| 245 |
1 |
0 |
|a On the correctness of refinement steps in program development /
|c Ralph-Johan Back.
|
| 260 |
|
|
|a Helsinki :
|b Department of Computer Science, University of Helsinki,
|c 1978
|
| 300 |
|
|
|a 109 p. :
|b ill. ;
|c 30 cm.
|
| 490 |
1 |
|
|a Report / Department of Computer Science, University of Helsinki ;
|v A-1978-4
|
| 504 |
|
|
|a Bibliography: p. 107-109.
|
| 650 |
|
0 |
|a Electronic digital computers
|x Programming.
|
| 650 |
|
0 |
|a Data structures (Computer science)
|
| 650 |
|
0 |
|a Structured programming.
|
| 830 |
|
0 |
|a Report (Helsingin yliopisto. Laskentakeskus) ;
|v A-1978-4.
|
| 852 |
8 |
|
|b CARM
|h A2:AH33D3
|i E00615
|p 0169392
|f BK
|
| 999 |
f |
f |
|i fd9b9bb7-1e3d-506e-a8c4-0887fd4e3b22
|s e59d6031-d892-5d6a-940c-2df6b5b20ecc
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e E00615
|f A2:AH33D3
|h Other scheme
|i book
|m 0169392
|