Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship - Lecture Notes in Computer Science 321 (Paperback)Job Zwiers (author)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 276
Weight: 890 g
Dimensions: 235 x 155 x 15 mm
Edition: 1989 ed.
You may also be interested in...
Please sign in to write a review