
Compositionality, Concurrency, and Partial Correctness
- Undertitel
- Proof Theories for Networks of Processes, and Their Relationship
- Författare
- Job Zwiers
- Upplaga
- 1989 ed.
- ISBN
- 9783540508458
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 22.2.1989
- Sidor
- 276