escudo

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

Col. Esp. ESLAI/LFC-1987


  

Hoare's logic in the LF

[MONOGRAFÍA]. --
Edinburgh :

University of Edinburgh. Departament of Computer Science

, . -- . -- (LFCS Report Series / ; 87-32)

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

Hoare's logic in the LF

Responsables Principales
Lugar
Edinburgh
Editorial
University of Edinburgh. Departament of Computer Science
Fecha de Publicación
1987
Título de Colección/Serie
  LFCS Report Series / ; 87-32
Fecha de Alta
26/02/2013 09:40:48
Número de Registro
37550
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
21.12599 Col. Esp. ESLAI/LFC-1987

Consultas y sugerencias: biblio@unlu.edu.ar

logo Pérgamo Pérgamo OPAC Web

Formulario para Solicitud de Material

Mason, Ian A.
Hoare's logic in the LF [MONOGRAFÍA]. -- Edinburgh : University of Edinburgh. Departament of Computer Science, 1987. -- (LFCS Report Series / Laboratory for Foundations of Computer Science (LFCS); 87-32)

(1) Inv.: 21.12599 S.T.: Col. Esp. ESLAI/LFC-1987
Solicitante: