Combining angels, demons and miracles in program specifications
Finna-arvio
Combining angels, demons and miracles in program specifications
Tallennettuna:
| Ulkoasu |
[1], 18 lehteä : kuvitettu ; 30 cm |
|---|---|
| Kieli |
englanti |
| Huomautukset |
Sarjalla myös engl. nimeke. |
| Julkaisija |
Åbo :
Åbo akademi,
1989.
|
| Sarja | Rapporter från Åbo akademi. Informationsbehandling & matematik, Ser. A, ISSN 0358-0563; no 86. |
| Luokitus | |
| Lisätiedot | R. J. R. Back, J. von Wright |
| ISBN |
951-649-626-1 nidottu |
| Hae kokoteksti | |