|
|
|
|
| LEADER |
01178nam a2200301 a 4500 |
| 001 |
c000160903 |
| 003 |
CARM |
| 005 |
19870925000000.0 |
| 008 |
830523s1982 wb a b 001 0 eng |
| 019 |
1 |
|
|a 26544486
|z 2648606
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387114920
|b (U.S.)
|
| 035 |
|
|
|a (OCoLC)8514649
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d NU
|
| 050 |
0 |
0 |
|a QA76.73.P252
|b C65 1982
|
| 082 |
0 |
4 |
|a 001.64/24
|2 19
|
| 100 |
1 |
|
|a Constable, R. L.
|q (Robert L.)
|
| 245 |
1 |
3 |
|a An introduction to the PL/CV2 programming logic /
|c R.L. Constable, S.D. Johnson, C.D. Eichenlaub.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1982.
|
| 300 |
|
|
|a x, 292 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 135.
|
| 504 |
|
|
|a Includes bibliographies and index.
|
| 650 |
|
0 |
|a PL/CV (Computer program language)
|
| 650 |
|
0 |
|a Computer programs
|x Verification.
|
| 700 |
1 |
|
|a Johnson, Scott D.
|
| 700 |
1 |
|
|a Eichenlaub, C. D.
|
| 852 |
8 |
|
|b CARM
|h A2:AL29E0
|i C05278
|p 0212023
|f BK
|
| 999 |
f |
f |
|i e59e034a-c338-56b6-ae73-3485d767c1e7
|s 85425cce-d6b8-5a53-90b9-48cc3f18f879
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05278
|f A2:AL29E0
|h Other scheme
|i book
|m 0212023
|