Compositionality, concurrency and partial correctness - proof theories for networks of processes, and their relationship
- Författare
- Job Zwiers
- (J. Zwiers.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Vlg | 1982 | Tyskland, Berlin, New York | vi, 272 sidor. |