Verification of asynchronously communicating objects
by Crystal Chang Din
Bok Engelsk 2014
| Utgitt | Oslo : Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo , 2014
|
|---|---|
| Omfang | X, 170 s. : ill.
|
| Opplysninger | Avhandling (ph.d.) - Universitetet i Oslo, 2014
|
| Dewey |
