Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Tipo de material: TextoSeries 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
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 | 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 |
Navegando Biblioteca Campus San Joaquín Estantes, Ubicación: Colección General, Código de colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
511 B932 Elementos de matemática discreta | 511 B932 Elementos de matemática discreta | 511 B932 Elementos de matemática discreta | 511.3 D575 1989 Predicate calculus and program semantics / | 511.3 K29 Automata and formal languages : an introduction / | 511.3 S618 1997 Introduction to the theory of computation | 511.33 G773 Lattice theory: |
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