escudo

Universidad Nacional de Luján
Catálogo Bibliográfico

Col. Esp. ESLAI/LFC-1986


  

Semantic analysis of specification logic

[MONOGRAFÍA]. --
Edinburgh :

University of Edinburgh. Departament of Computer Science

, . -- . -- (LFCS Report Series / ; 86-5)

  (1) Inv.: 21.12580 S.T.: Col. Esp. ESLAI/LFC-1986
  Visualización de Monografía
U. Info.
(1) [Cent]
Tipo de Material
(M) MONOGRAFÍA
Título

Semantic analysis of specification logic

Responsables Principales
Lugar
Edinburgh
Editorial
University of Edinburgh. Departament of Computer Science
Fecha de Publicación
1986
Título de Colección/Serie
  LFCS Report Series / ; 86-5
Fecha de Alta
27/02/2013 09:35:44
Número de Registro
37574
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
21.12580 Col. Esp. ESLAI/LFC-1986

Consultas y sugerencias: biblio@unlu.edu.ar

logo Pérgamo Pérgamo OPAC Web

Formulario para Solicitud de Material

Tennent, R. D.
Semantic analysis of specification logic [MONOGRAFÍA]. -- Edinburgh : University of Edinburgh. Departament of Computer Science, 1986. -- (LFCS Report Series / Laboratory for Foundations of Computer Science (LFCS); 86-5)

(1) Inv.: 21.12580 S.T.: Col. Esp. ESLAI/LFC-1986
Solicitante: