Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO

Título Specification and verification of concurrent systems / C. Rattray (Ed.)

Publicación London : Springer-Verlag, cop. 1990
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-RDPC 42    CONSULTAR DEPT  DISPONIBLE
Descripción física 612 p. ; 25 cm
Colección Workshops in computing
Nota Publicado en colaboración con the British Computer Society
Contiene las ponencias presentadas al BCS-FACS Workshop on specification and verification of Concurrent Systems, celebrado del 6-8 de julio de 1988 en University of Stirlign, Scotland
Materia Procesos en paralelo (Informática) -- Congresos
       Mostrar referencias similares
Autor secundario Rattray, Charles, ed. lit.
British computer society, ed.
BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988. University of Stirling, Scotland)
ISBN 3540195815