A constructive method for the architectural design and correctness verification of real-time programs
Samuli Saukkonen
Bok Engelsk 1983
Utgitt | Helsinki , 1983
|
---|---|
Omfang | 122 s : fig.
|
Opplysninger | Avhandling (doktorgrad) - Oulun yliopisto, 1983.
|
Emner | |
ISBN | 951666170X
|