Specification in B: an introduction using the B toolkit / Kevin Lano, Howard Haughton - Universidad de San Buenaventura

Título

Specification in B : an introduction using the B toolkit / Kevin Lano, Howard HaughtonLibro / Impreso - Libros

Autor(es)

Lano, Kevin (Autor)
Haughton, Howard (Autor)

Publicación

Londres, Inglaterra : Imperial College Press , 1996

Descripción Física

xi, 242 p. : il. ; pasta dura

Inglés;

ISBN

1860940080

Clasificación(es)

005.1

Materia(s)

B (lenguaje de programación de computadores); Desarrollo de software;

Nota(s)

CONTENIDO:
1. Abstract machines
2. Constructing specifications
3. Design and refinement
4. Proof
5. Implementation
6. Case studies
A. Exercise solutions
B. B Amn and Z
C. B notation summary

Ver en WorldCat

Catálogo Mundial - WorldCat

Ver en Google Books

Google Books

Disponibilidad

CodBarras	Localización	Estante	Signatura	Estado	Categoría

010087146	Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.	Primer piso	005.1 L293s e.1	Disponible	7 días