On the correctness of refinement steps in program development /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Helsinki :
Department of Computer Science, University of Helsinki,
1978
|
| Col·lecció: | Report (Helsingin yliopisto. Laskentakeskus) ;
A-1978-4. |
| Matèries: |
CARM 1 Store
| Signatura: |
A2:AH33D3 E00615 |
|---|---|
| Còpia 1 | Disponible Fer una reserva |