Brand new: lowest price
AU $178.99Free postage
- Get it by Thu, 29 Mar - Tue, 17 Apr from Sydney, Australia
- • Brand new condition
- • Returns accepted - 30 days money back
Static Program Analysis via 3-Valued Logic. - Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. - An Algebraic Approach to the Static Analysis of Concurrent Software.