Software engineering with B /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Harlow :
Addison-Wesley,
1996
|
| Colección: | International computer science series
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- 1. Introduction. 2. Structure of a simple machine. 3. The class manager's assistant. 4. Deferred sets and non-determinism. 5. Constructing large machines. 6. More substitutions for machines. 7. Softwre design. 8. Implementations. 9. API-layer machines and their implementations. 10. Refinements. Appendix.