Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984. La Colle-sur-Loupé)

Título Logics and models of concurrent systems : proceedings of the NATO advanced study institute of logics and models of concurrent systems held at La Colle-sur-Loupé, France, 8-19 october 1984 / edited by Krzysztof R. Apt

Publicación Berlín [etc.] : Springer, cop. 1985
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ITEO 24    CONSULTAR DEPT  DISPONIBLE