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

Descripción física VIII, 498 p. ; 25 cm Colección NATO ASI Series : Computer and systems sciences. Series F ; 13        Mostrar referencias similares Materia Procesos en paralelo (Informática) -- Congresos        Mostrar referencias similares Software -- Verificación -- Congresos        Mostrar referencias similares Autor secundario Apt, Krzysztof R., ed. lit. ISBN 3540151818 0387151818

Enlace permanente