LEADER 00000nam  2200145 i 4500 
008    130522s1994    xxkd    r     001 0 eng | 
020    007707811X 
040    UZ.HYP 
080    621 
100 1  Milne, George 
245 10 Formal specification and verification of digital systems /
       |cGeorge Milne 
260    London [etc.] :|bMcGraw-Hill,|ccop. 1994 
300    xiv, 240 p. :|bil. ;|c24 cm 
500    Índice 
504    Bibliografía: p. 232-235 
650 04 Electrónica digital 
650 04 Circuitos integrados|xDiseño y construcción 
650 04 Sistemas digitales 
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-SLAU 87    PRÉSTAMO LARGO  DISPONIBLE