|
|
|
|
| LEADER |
01111nam a2200289 a 4500 |
| 001 |
c000054966 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
850709s1986 njua b 00110 eng |
| 019 |
1 |
|
|a 4076656
|z 45184164
|z 64951823
|5 LACONCORD2021
|
| 020 |
|
|
|a 0137291469 (pbk.)
|
| 020 |
|
|
|a 0137291531 :
|c $34.95
|
| 035 |
|
|
|a (OCoLC)12313124
|5 LACONCORD2021
|
| 040 |
|
|
|d WCX
|
| 050 |
0 |
0 |
|a QA76.7
|b .B28 1986
|
| 100 |
1 |
|
|a Backhouse, Roland C.,
|d 1948-
|
| 245 |
1 |
0 |
|a Program construction and verification /
|c Roland C. Backhouse.
|
| 260 |
|
|
|a Englewood Cliffs, N.J. :
|b Prentice-Hall International,
|c c1986.
|
| 300 |
|
|
|a xi, 281 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Prentice-Hall International series in computer science
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Bibliography: p. 220-223.
|
| 650 |
|
0 |
|a Electronic digital computers
|x Programming.
|
| 852 |
8 |
|
|b CARM
|h A2:AH16A0
|i B03940
|p 0186004
|f BK
|
| 082 |
0 |
4 |
|a 005
|2 19
|
| 999 |
f |
f |
|i 432d0947-31fc-58cd-b4db-58683460485f
|s b7702da1-03b0-55ab-b9cf-ca819ffdecee
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B03940
|f A2:AH16A0
|h Other scheme
|i book
|m 0186004
|