Compositionality, concurrency and partial correctness proof theories for networks of processes and their relationship by J. Zwiers.
Material type: BookSeries: Lecture notes in computer science ; no.321Publication details: Berlin Springer-Verlag 1989Description: vi, 272pISBN:- 3540508457
- 001.64404 N8920
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 001.64404 N8920 (Browse shelf(Opens below)) | Available | 141411 |
There are no comments on this title.