
Compositionality, Concurrency, and Partial Correctness
- Undertittel
- Proof Theories for Networks of Processes, and Their Relationship
- Forfatter
- Job Zwiers
- Opplag
- 1989 ed.
- ISBN
- 9783540508458
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 22.2.1989
- Antall sider
- 276
