Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten

Por: Dijkstra, Edsger W [autor]Colaborador(es): Scholten, Carel STipo de material: TextoTextoSeries Texts and monographs in computer scienceEditor: New York : Springer-Verlag, 1989Descripción: x, 220 páginas : ilustracionesTipo de contenido: texto Tipo de medio: no mediado Tipo de portador: volumenISBN: 0387969578Tema(s): CALCULO DE PREDICADOS | LENGUAJES DE PROGRAMACIÓN (computadores electrónicos) -- SEMANTICAClasificación CDD: 511.3
Contenidos:
On structures-- On substitution and replacement-- On functions and equality-- On our proof format-- The calculus of boolean structures-- Some properties of predicate transformers-- Semantics of straight-line programs-- Equations in predicates and their extreme solutions-- Semantics of repetitions-- Operational considerations-- Converse predicate transformers-- The strongest postcondition
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección número de clasificación Copia número Estado Notas Fecha de vencimiento Código de barras
Libro General Libro General Biblioteca Campus San Joaquín
Colección General 511.3 D575 1989 (Navegar estantería(Abre debajo)) 1 Disponible Donación Profesor Claudio Lobos Yáñez 3560900278608

On structures-- On substitution and replacement-- On functions and equality-- On our proof format-- The calculus of boolean structures-- Some properties of predicate transformers-- Semantics of straight-line programs-- Equations in predicates and their extreme solutions-- Semantics of repetitions-- Operational considerations-- Converse predicate transformers-- The strongest postcondition