Universidad Nacional de Luján
Catálogo Bibliográfico
Col. Esp. ESLAI/LFC-1986
I.
(1) Inv.: 21.12587 S.T.: Col. Esp. ESLAI/LFC-1986
Huimin, Lin
Toward formal development of programs from algebraic specifications: implementations revisited
[MONOGRAFÍA]. -- , 1986. -- . -- (LFCS Report Series /Laboratory for Foundations of Computer Science (LFCS)
; 86-17)I.
Sanella, Donald
II.Tarlecki, Andrzej
(1) Inv.: 21.12587 S.T.: Col. Esp. ESLAI/LFC-1986
Visualización de Monografía
U. Info.
(1) [Cent]
Tipo de Material
(M) MONOGRAFÍA
Título
Toward formal development of programs from algebraic specifications: implementations revisited
Responsables Principales
Lugar
Edinburgh
Fecha de Publicación
1986
Título de Colección/Serie
Fecha de Alta
27/02/2013 20:29:17
Número de Registro
37570
Pérgamo OPAC Web