LEADER 00000nam  2200000 i 4500 
001    354056733x 
008    960327s1993    gw a    rb   o001   eng d 
020    354056733x 
020    038756733X 
040    DLC|dUZ.CMAT 
245 00 Program development by specification and transformation
       |bthe PROSPECTRA methodology, language family, and system 
       /|cBerthold Hoffmann, Bernd Krieg-Brückner,(Eds.) 
260    Berlin [etc.] :|bSpringer-Verlag,|ccop. 1993 
300    XIV, 623 p. ;|c24 cm 
440  0 Lecture notes in computer science,|x0302-9743 ;|v680 
650 04 Software|xDesarrollo 
700 1  Hoffmann, Berthold,|eed. lit. 
700 1  Krieg-Brückner, Bernd,|eed. lit. 
907 00 m|ba|ca|dm|e1|flr|g970402|h1|i960327 
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 680    PRÉSTAMO LARGO  DISPONIBLE