|
|
|
|
| LEADER |
01680nam a2200397 a 4500 |
| 001 |
c000164357 |
| 003 |
CARM |
| 005 |
19990918000000.0 |
| 008 |
910925s1991 gw a b 101 0 eng |
| 010 |
|
|
|a 91033143
|
| 019 |
1 |
|
|a 8495759
|z 45167283
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540548343
|
| 020 |
|
|
|a 0387548343
|
| 020 |
|
|
|a 3540548688
|
| 020 |
|
|
|a 0387548688
|
| 035 |
|
|
|a (OCoLC)24590452
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d DLC
|d LC
|
| 050 |
0 |
0 |
|a QA76.76.D47
|b V36 1991
|
| 082 |
0 |
0 |
|a 005.1
|2 20
|
| 082 |
0 |
4 |
|a 005.1
|2 20
|
| 111 |
2 |
|
|a VDM '91,
|d (1991 :
|c Noordwijkerhout, Netherlands)
|
| 245 |
1 |
0 |
|a VDM '91 :
|b formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /
|c S. Prehn, W.J. Toetenel (eds.)
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1991.
|
| 300 |
|
|
|a 2 v. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 551-552.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a v. 1. Conference contributions -- v. 2. Tutorials.
|
| 650 |
|
0 |
|a Computer software
|x Development
|x Congresses.
|
| 700 |
1 |
|
|a Prehn, S.
|q (Søren),
|d 1955-
|
| 700 |
1 |
|
|a Toetenel, W. J.,
|d 1953-
|
| 710 |
2 |
|
|a VDM-Europe.
|
| 852 |
8 |
|
|b CARM
|h A2:AM07D0
|i C05491
|p 0214186
|f BK
|
| 852 |
8 |
|
|b CARM
|h A2:AM07D0
|i C05491
|p 0214187
|f BK
|
| 999 |
f |
f |
|i 9414049a-e5a9-5ca4-a8a6-897ba2d67223
|s f4673a81-ce88-53cc-a215-cb9308279546
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05491
|f A2:AM07D0
|h Other scheme
|i book
|j v.2
|m 0214187
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05491
|f A2:AM07D0
|h Other scheme
|i book
|j v.1
|m 0214186
|