An interactive environment supporting the development of formally correct programs
Thomas Långbacka
Bok Engelsk 1997
| Utgitt | Turku : Department of Computer Science, Åbo Akademi University , 1997
|
|---|---|
| Omfang | 1 b. (flere pag.) : ill.
|
| Opplysninger | Avhandling (doktorgrad) - Åbo akademi, 1997.
|
| Emner | |
| ISBN | 952120074X
|
