LEADER 00000nam  2200000 i 4500 
001    3540502149 
008    950627s1988    gw a    rb   o100 0 eng d 
010    88024877 //r922 
020    3540502149 
020    0387502149 
040    DLC|dUZ.CMAT 
111 2  VDM '88|n(2nd.|d1988.|cDublin, Ireland) 
245 10 VDM '88 :|bVDM, the way ahead : 2nd VDM-Europe symposium, 
       Dublin, Ireland, September, 1988 : proceedings /|cR. 
       Bloomfield, L. Marshall, R. Jones (eds.) 
250    [1st ed.] 
260    Berlin ;|aNew York :|bSpringer-Verlag,|ccop. 1988 
300    IX, 499 p. :|bil. ;|c24 cm 
440  0 Lecture notes in computer science,|x0302-9743 ;|v328 
504    Bibliografía 
650 04 Software|vCongresos 
700 1  Bloomfield, R.,|eed. lit. 
700 1  Marshall, L.,|eed. lit. 
700 1  Jones, Roger B.,|eed. lit. 
710 2  VDM-Europe 
907 00 m|ba|ca|dm|e1|flr|g970320|h1|i950627