LEADER 00000nam  2200000 i 4500 
008    951205s1985    gw      r     100 0 eng d 
020    3540151818 
020    0387151818 
040    UCM.MAT|dUZ.HYP 
080    681.32.01 
111 2  NATO Advanced Study Institute on Logics and Models of 
       Concurrent Systems|d(1984.|cLa Colle-sur-Loupé) 
245 10 Logics and models of concurrent systems :|bproceedings of 
       the NATO advanced study institute of logics and models of 
       concurrent systems held at La Colle-sur-Loupé, France, 8-
       19 october 1984 /|cedited by Krzysztof R. Apt 
260    Berlín [etc.] :|bSpringer,|ccop. 1985 
300    VIII, 498 p. ;|c25 cm 
440  0 NATO ASI Series : Computer and systems sciences.|pSeries F
       ;|v13 
650 04 Procesos en paralelo (Informática)|vCongresos 
650 04 Software|xVerificación|vCongresos 
700 1  Apt, Krzysztof R.,|eed. lit. 
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-ITEO 24    PRÉSTAMO LARGO  DISPONIBLE