Correctness and refinement of dually nondeterministic programs
Finna-arvio
Correctness and refinement of dually nondeterministic programs
Tallennettuna:
| Ulkoasu |
26, [2] s. ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
2003.
|
| Sarja | TUCS technical report, ISSN 1239-1891; no 516. |
| Lisätiedot | Orieta Celiku, Joakim von Wright |
| ISBN |
952-12-1139-3 nidottu |
| Hae kokoteksti | |