|
|
|
|
| LEADER |
00981nam a2200277 a 4500 |
| 001 |
c000180537 |
| 003 |
CARM |
| 005 |
20001008210551.0 |
| 008 |
840206s1985 nyu b 001 0 eng |
| 010 |
|
|
|a 84003528
|
| 019 |
1 |
|
|a 3089159
|5 LACONCORD2021
|
| 020 |
|
|
|a 0442263228
|
| 035 |
|
|
|a (OCoLC)10457374
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d SUA
|
| 050 |
|
4 |
|a QA76.6
|b .M5217 1985
|
| 050 |
0 |
0 |
|a QA76.6
|b .M5217 1985
|
| 082 |
0 |
4 |
|a 001.64/2
|2 19
|
| 100 |
1 |
|
|a Mili, Ali.
|
| 245 |
1 |
3 |
|a An introduction to formal program verification /
|c Ali Mili.
|
| 260 |
|
|
|a New York :
|b Van Nostrand Reinhold Co.,
|c c1985.
|
| 300 |
|
|
|a xii, 291 p. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographies and index.
|
| 650 |
|
0 |
|a Computer software
|x Verification.
|
| 852 |
8 |
|
|b CARM
|h A2:AK04B0
|i B05418
|p 0243139
|f BK
|
| 999 |
f |
f |
|i 43aea5eb-177b-573a-a229-931e4043a43d
|s 667291ee-cc59-5fdb-a0b0-001c0ca3bda1
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05418
|f A2:AK04B0
|h Other scheme
|i book
|m 0243139
|