Contracts as mathematical entities in programming logic
Finna rating
Contracts as mathematical entities in programming logic
Saved in:
| Physical Description |
19, [2] sivua : kuvitettu ; 25 cm |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Publisher |
Turku :
Turku Centre for Computer Science,
2000.
|
| Series | TUCS technical report, ISSN 1239-1891; no 372. |
| Additional Information | Ralp-Johan Back, Joakim von Wright |
| ISBN |
952-12-0744-2 nidottu |