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
|
