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
|