Buscar
Título y Autor
Palabra Clave
Autor
Palabra Clave por Autor
Tema o Materia
ISBN/ISSN
Series
Revistas
Avanzada
 
Enlaces
Bases de Datos
Metabuscador RUAV
Tutorial Reserva
 
Mi Cuenta
Detalles de Usuario
Bibliografías
Cerrar Sesión
Detalles del Título Búsqueda Rápida Palabra Clave
Detalles del Título

< Ant.
Sig. >
 
Título The B Language and method : a guide practical formal development / Kevin LanoLibro / Impreso - Libros
Autor(es) Lano, Kevin (Autor)
Publicación Londres, Inglaterra : Springer, 1996
Descripción Física 232 p. ; rústica
Inglés;
Series Formal approaches to computing and information technology
ISBN 3540760334
Clasificación(es) 005.1
Materia(s) B (lenguaje de programación de computadores); Desarrollo de programas para computador;
Nota(s) CONTENIDO:
1. Introduction
2. The foundations of B AMN
3. Analysis and specification
4. Design and implementation
5. Case studies
6. Conclusions
A. Exercise solutions
B. Properties of weakest preconditions
C. Proof techniques
Ver en WorldCat Catálogo Mundial - WorldCat
Ver en Google Books Google Books
Disponibilidad
CodBarras Localización Estante Signatura Estado Categoría
010087165Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.Primer piso005.1 L293Disponible7 días
© OCLC (UK) Ltd- © Nova Informática Ltda