Placeholder text

Go to cart

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)

By Job Zwiers

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321) Computer Science

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)

0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
284
Release Date:
2008-06-13
Publication Date:
2008-06-13
Publisher:
Springer
Languages:
Published: English, Original: English
ISBN10:
3540508457
GPSR Manufacturer Reference:
[email protected]
Weight:
399 g
Buy on Amazon
Currently sold out