VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: VDM '91, Noordwijkerhout, Netherlands, VDM-Europe
Other Authors: Prehn, S. (Søren), 1955-, Toetenel, W. J., 1953-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1991.
Series:Lecture notes in computer science ; 551-552.
Subjects:
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