Abstract algebra of program refinement
Abstract algebra of program refinement
Saved in:
| Physical Description |
x, 174 sivua ; 25 cm |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Publisher |
Turku :
Turku Centre for Computer Science,
2007
|
| Dissertation Note | Väitöskirja Åbo Akademi |
| Series | TUCS dissertations, ISSN 1239-1883; 95. |
| Classification | |
| Subjects | |
| Manufacturer | (Uniprint) |
| Additional Information | Kim Solin |
| ISBN |
978-952-12-1988-7 nidottu |
| Get full text | |