Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Autor Harel, David

Título First-order dynamic logic / David Harel

Publicación Berlín [etc.] : Springer, 1979
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-MATA 99    CONSULTAR DEPT  DISPONIBLE
Descripción física 133 p. ; 24 cm
Colección Lecture Notes in Computer Science ; 68
Materia Programación de ordenadores
       Mostrar referencias similares
ISBN 3540092374
0387092374