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 |
Alkuteoksen 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 |