|
|
|
|
| LEADER |
01246nam a2200301 a 4500 |
| 001 |
c000171252 |
| 003 |
CARM |
| 005 |
19990202000000.0 |
| 008 |
861205s1988 enka b 001 0 eng |
| 010 |
|
|
|a 86032483
|
| 019 |
1 |
|
|a 5017657
|5 LACONCORD2021
|
| 020 |
|
|
|a 0471914746
|c $28.00 (U.S.)
|
| 035 |
|
|
|a (OCoLC)15017936
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a QA76.76.D47
|b B33 1988
|
| 082 |
0 |
0 |
|a 005.1
|2 19
|
| 100 |
1 |
|
|a Baber, Robert Laurence.
|
| 245 |
1 |
4 |
|a The spine of software :
|b designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /
|c Robert Laurence Baber.
|
| 246 |
3 |
|
|a Mathematical introduction to the semantics of computer programs.
|
| 260 |
|
|
|a Chichester [West Sussex] ;
|a New York :
|b Wiley,
|c c1988.
|
| 300 |
|
|
|a xi, 316 p. :
|b ill. ;
|c 24 cm.
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Bibliography: p. 302-305.
|
| 650 |
|
0 |
|a Computer software
|x Development.
|
| 650 |
|
0 |
|a Computer programming.
|
| 852 |
8 |
|
|b CARM
|h A2:AK01B0
|i B05273
|p 0236217
|f BK
|
| 999 |
f |
f |
|i 67fc5878-300d-5beb-81fc-e0b8943f3813
|s e42b9239-24c0-56d9-8f08-1f49bb2ddc31
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05273
|f A2:AK01B0
|h Other scheme
|i book
|m 0236217
|