
Compositionality, Concurrency, and Partial Correctness
- Alaotsikko
- Proof Theories for Networks of Processes, and Their Relationship
- Kirjailija
- Job Zwiers
- Painos
- 1989 ed.
- ISBN
- 9783540508458
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.2.1989
- Sivumäärä
- 276