|
|
|
|
| LEADER |
00963nam a22002658a 4500 |
| 001 |
c000181969 |
| 003 |
CARM |
| 005 |
20050405104313.0 |
| 008 |
901009s1990 njua b 001 0 eng d |
| 010 |
|
|
|a 89039812
|
| 019 |
1 |
|
|a 21876774
|z 45162708
|z 22524008
|5 LACONCORD2021
|
| 020 |
|
|
|a 0138807337 (pbk.)
|
| 035 |
|
|
|a (OCoLC)20355316
|5 LACONCORD2021
|
| 040 |
|
|
|a QUT
|b eng
|c VCAV
|
| 100 |
1 |
|
|a Jones, Cliff B.,
|d 1944-
|
| 245 |
1 |
0 |
|a Systematic software development using VDM /
|c Cliff B. Jones.
|
| 250 |
|
|
|a 2nd ed.
|
| 260 |
|
|
|a New York :
|b Prentice Hall,
|c 1990.
|
| 300 |
|
|
|a xiv, 333 p. :
|b ill. ;
|c 24 cm.
|
| 500 |
|
|
|a Includes indexes.
|
| 504 |
|
|
|a Bibliography: p. 321-322.
|
| 650 |
|
0 |
|a Computer software
|x Development.
|
| 852 |
8 |
|
|b CARM
|h A2:AK38C0
|i C06430
|p 0246894
|f BK
|
| 999 |
f |
f |
|i 677f1678-7548-547c-b080-a59156060b65
|s 2b53589d-d5bb-5cd0-975d-721c32d362db
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C06430
|f A2:AK38C0
|h Other scheme
|i book
|m 0246894
|