An interactive environment supporting the development of formally correct programs
An interactive environment supporting the development of formally correct programs
Tallennettuna:
| Genre | |
|---|---|
| Ulkoasu |
26, [137] s. : kuvitettu ; 25 cm |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 7 eripainosta. - Nimiösivulla myös: Department of Computer Science, Åbo Akademi university |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
1997
|
| Opinnäyte | Väitöskirja : Åbo Akademi |
| Sarja | TUCS dissertations, ISSN 1239-1883; no 7. |
| Luokitus | |
| Aiheet | |
| Valmistaja | (Painosalama) |
| Lisätiedot | Thomas Långbacka |
| ISBN |
952-12-0074-X pehmeäkantinen |
| Standarditunnukset |
(FI-MELINDA)000880884 20231003224012.0 |