Mechanised formal reasoning about modular programs
Mechanised formal reasoning about modular programs
Tallennettuna:
| Genre | |
|---|---|
| Ulkoasu |
iv, 176, [6] sivua : kuvitettu ; 25 cm |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Nimiösivulla myös: Department of Computer Science, Åbo Akademi University |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
2000
|
| Opinnäyte | Väitöskirja : Åbo Akademi |
| Sarja | TUCS dissertations, ISSN 1239-1883; no 24. |
| Luokitus | |
| Valmistaja | (Painosalama) |
| Lisätiedot | Linas Laibinis |
| ISBN |
951-29-1683-5 nidottu |
| Hae kokoteksti | |