Número de Cutter-SanbornS228tEntrada «Sann» → 228 · marca de obra “t”

Toward formal development of programs from algebraic specifications

implementations revisited

Autor	Donald Sannella
Editorial	University of Edinburgh, Laboratory for Foundations of Computer Science
Fecha de publicación	1986
Lugar	Edinburgh
Idioma	inglés
Páginas	54
Serie	LFCS report series -- ECS-LFCS-86-17
Número de Cutter	`S228t`

Toward formal development of programs from algebraic specifications (1986) | Cutter Number