On the correctness of refinement steps in program development /
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | English |
| Опубліковано: |
Helsinki :
Department of Computer Science, University of Helsinki,
1978
|
| Серія: | Report (Helsingin yliopisto. Laskentakeskus) ;
A-1978-4. |
| Предмети: |
| Фізичний опис: | 109 p. : ill. ; 30 cm. |
|---|---|
| Бібліографія: | Bibliography: p. 107-109. |