The calculus of refinements [Microforma] : a formal specification model based on inclusions
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Tesis |
| Idioma: | Inglés |
| Publicado: |
Barcelona :
Universitat Politècnica de Catalunya
1994.
|
| Colección: | Tesi doctoral (Universitat Politècnica de Catalunya) ;
64 |
| Materias: |
| Notas: | Precede al tít.: Facultat d'Informàtica de Barcelona. |
|---|---|
| Descripción Física: | 1 microficha : negativo ; 11x15 cm + 1 cuadernillo |
| ISBN: | 9788476534731 |
