Podobne zapisy: Concurrency, Compositionality, and Correctness :
- Compositional Verification of Concurrent and Real-Time Systems /
- Correct System Design : Recent Insights and Advances /
- Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
- The Corrections /
- Constructing Correct Software /
- Flux-Corrected Transport : Principles, Algorithms, and Applications /