Program refinement by theorem prover
Finna-recension
Program refinement by theorem prover
Sparad:
| Fysisk beskrivning |
33, [2] sivua ; 25 cm |
|---|---|
| Språk |
engelska |
| Förlag |
Turku :
Åbo Akademi University,
1994.
|
| Serie | Reports on computer science & mathematics, Ser. A, ISSN 1235-7502; no 146. |
| Klassifikation | |
| Mer information | J. von Wright |
| ISBN |
951-650-340-3 nidottu |
| Hämta fulltext | |