|
|
|
|
| LEADER |
01372nam a2200337 a 4500 |
| 001 |
c000163560 |
| 003 |
CARM |
| 005 |
20030515095907.0 |
| 008 |
900404s1990 enka b 001 0 eng |
| 010 |
|
|
|a 90035889
|
| 019 |
1 |
|
|a 7279610
|z 7271423
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387195777 (alk. paper)
|
| 020 |
|
|
|a 3540195777 (alk. paper)
|
| 035 |
|
|
|a (OCoLC)21448260
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 043 |
|
|
|a e-uk---
|
| 050 |
|
4 |
|a QA76.9.S8
|b F67 1990
|
| 050 |
0 |
0 |
|a QA76.9.S8
|b F67 1990
|
| 082 |
0 |
0 |
|a 004/.0218
|2 20
|
| 082 |
0 |
4 |
|a 004/.0218
|2 20
|
| 245 |
0 |
0 |
|a Formal methods in standards :
|b a report from the BCS Working Group /
|c C.L.N. Ruggles, (ed.) ; principal contributors, Derek Andrews ... [et. al.].
|
| 260 |
|
|
|a London ;
|a New York :
|b Springer-Verlag,
|c 1990.
|
| 300 |
|
|
|a 135 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p. [79]-92] and index.
|
| 650 |
|
0 |
|a Electronic data processing
|x Standards
|z Great Britain.
|
| 700 |
1 |
|
|a Ruggles, C. L. N.
|q (Clive L. N.)
|
| 700 |
1 |
|
|a Andrews, Derek.
|
| 710 |
2 |
|
|a British Computer Society.
|b Formal Methods in Standards Working Group.
|
| 852 |
8 |
|
|b CARM
|h A2:AL10F0
|i C05407
|p 0229649
|f BK
|
| 999 |
f |
f |
|i a45692fc-4fbb-532b-8c07-54584870edd2
|s 3db6e6d9-1e3d-526d-ae67-2c35d8192304
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05407
|f A2:AL10F0
|h Other scheme
|i book
|m 0229649
|