The calculus of refinements, a formal specification model based on inclusions
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Tesis |
| Idioma: | Castellano |
| Publicado: |
Barcelona :
Universitat Politècnica. Facultat d'Informàtica
1994
|
| Colección: | Tesi doctoral (Universidad Politécnica de Cataluña) ;
64/94 |
| Materias: | |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b13026008*spi |
| Descripción Física: | 1 microficha ; 11 x 15 cm + 8 p. ; 17 cm |
|---|---|
| ISBN: | 9788476534731 |
