Program refinement by theorem prover
Finna-arvio
Program refinement by theorem prover
Tallennettuna:
| Ulkoasu |
33, [2] sivua ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Åbo Akademi University,
1994.
|
| Sarja | Reports on computer science & mathematics, Ser. A, ISSN 1235-7502; no 146. |
| Luokitus | |
| Lisätiedot | J. von Wright |
| ISBN |
951-650-340-3 nidottu |
| Hae kokoteksti | |