Context handling in the Refinement Calculus framework
Finna-arvio
Context handling in the Refinement Calculus framework
Tallennettuna:
| Ulkoasu |
17, [2] sivua ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
1997.
|
| Sarja | TUCS technical report, ISSN 1239-1891; no 118. |
| Luokitus | |
| Lisätiedot | Linas Laibinis, Joakim von Wright |
| ISBN |
952-12-0029-4 nidottu |
| Hae kokoteksti | |