Compositional formal analysis for concurrent object-oriented languages
by Thi Mai Thuong Tran
Bok Engelsk 2013
| Utgitt | [Oslo] : Research Group for Precise Modeling and Analysis, Department of Informatics, University of Oslo , 2013
|
|---|---|
| Omfang | VIII, 215 s. : ill.
|
| Opplysninger | Avhandling (ph.d.) - Universitetet i Oslo, 2013
|
| Emner | objektorienterte språk parallellprogrammering
|
| Dewey |
