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. |
| विषय: |
CARM 1 Store
| बोधानक: |
A2:AH33D3 E00615 |
|---|---|
| प्रति 1 | उपलब्ध होल्ड करें |