Mechanised formal reasoning about modular programs
Linas Laibinis
Bok Engelsk 2000
| Utgitt | Turku : Department of Computer Science, Åbo Akademi University , 2000
|
|---|---|
| Omfang | IV, 176 s. : ill.
|
| Opplysninger | Avhandling (doktorgrad) - Åbo akademi, 2000
|
| Emner | |
| ISBN | 9512916835
|
