Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Autor Hailpern, Brent T.

Título Verifying concurrent processes using temporal logic / Brent T. Hailpern

Publicación Berlin : Springer, cop. 1982
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 129    PRÉSTAMO LARGO  DISPONIBLE
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-ITEO 19    PRÉSTAMO LARGO  DISPONIBLE
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-RDPC 30    PRÉSTAMO LARGO  DISPONIBLE
Edición [1st ed.]
Descripción física viii, 208 p. ; 25 cm
Colección Lecture notes in computer science, 0302-9743 ; 129
Materia Procesos en paralelo (Informática)
       Mostrar referencias similares
ISBN 3540112057
0387112057