Detalles del Título
Detalles del Título

< Ant.
Sig. >
 
Título The B-Book : Assigning programs to meaning / J.-R. AbrialLibro / Impreso - Libros
Autor(es) Abrial, Jean-Raymond (Autor)
Publicación Cambridge, Massachusetts, Estados Unidos : Cambridge University Press, 2005
Descripción Física xxxiv, 779 p. : il. ; rústica
Inglés;
ISBN 9780521021753
Clasificación(es) 005.133
Materia(s) B (lenguaje de programación de computadores); Método B (computadores); Programación (computadores electrónicos); Matemáticas computacionales; Lenguajes de programación (computadores electrónicos digitales);
Nota(s) Reimpresión 2005, de la primera publicada en 1996
CONTENIDO:
I. MATHEMATICS
1. Mathematical reasoning
2. Set notation
3. Mathematical objects
II. ABSTRACT MACHINES
4. Introduction to abstract machines
5. Formal definition of abstract machines
6. Theory of abstract machines
7. Constructing large abstract machines
8. Examples of abstract machines
III. PROGRAMMING
9. Sequencing and loops
10. Programming examples
IV. REFINEMENT
11. Refinement
12. Constructing large software systems
13. Examples of refinement
Appendices
Incluye índice
Ver en WorldCat Catálogo Mundial - WorldCat
Ver en Google Books Google Books
Disponibilidad
CodBarras Localización Estante Signatura Estado Categoría
010085571Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.Primer piso005.133 A163 e.1Disponible7 días
010085572Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.Primer piso005.133 A163 e.2Disponible7 días
010085579Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.Primer piso005.133 A163 e.3Disponible7 días