|
|
|
|
| LEADER |
01441nam a2200313 a 4500 |
| 001 |
c000175381 |
| 003 |
CARM |
| 005 |
19970910000000.0 |
| 008 |
960223s1996 gw a b 101 0 eng |
| 010 |
|
|
|a 96007194
|
| 019 |
1 |
|
|a 12223642
|z 21784582
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540609733
|
| 035 |
|
|
|a (OCoLC)34319289
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a QA76.76.D47
|b I593 1996
|
| 082 |
0 |
0 |
|a 005.1/01/5113
|2 20
|
| 111 |
2 |
|
|a International Symposium of Formal Methods Europe
|n (3rd :,
|d 1996 :
|c Oxford, England)
|
| 245 |
1 |
0 |
|a FME '96, industrial benefit and advances in formal methods :
|b Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
|c Marie-Claude Gaudel, James Woodcock, eds.
|
| 246 |
3 |
|
|a Industrial benefit and advances in formal methods.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a xii, 704 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 1051.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Computer software
|x Development
|x Congresses.
|
| 700 |
1 |
|
|a Woodcock, Jim.
|
| 700 |
1 |
|
|a Gaudel, M.-C.
|q (Marie-Claude),.
|
| 852 |
8 |
|
|b CARM
|h A2:AL25A0
|i B05585
|p 0239320
|f BK
|
| 999 |
f |
f |
|i 675a90eb-612a-50dc-8660-4a2250774c81
|s 0fe056e8-7d37-5b87-9a23-d57f3b7a7fea
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05585
|f A2:AL25A0
|h Other scheme
|i book
|m 0239320
|