Abstract algebra of program refinement
Abstract algebra of program refinement
Tallennettuna:
| Ulkoasu |
x, 174 sivua ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Turku Centre for Computer Science,
2007
|
| Opinnäyte | Väitöskirja Åbo Akademi |
| Sarja | TUCS dissertations, ISSN 1239-1883; 95. |
| Luokitus | |
| Aiheet | |
| Valmistaja | (Uniprint) |
| Lisätiedot | Kim Solin |
| ISBN |
978-952-12-1988-7 nidottu |
| Hae kokoteksti | |