Refine your search
We were unable to find exact matches based on your search for "psreanu", "corina", "symbolic", "execution", "quantitative", and "reasoning".
Closest match to your search
- Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)Pasareanu, Corina S.
- Softcover
- Used
£ 3.02 shipping - Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)Pasareanu, Corina S.
- Hardcover
- Used
£ 3.02 shipping - Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)Păsăreanu, Corina S.
- Softcover
- New
£ 3.02 shipping - Symbolic Execution and Quantitative Reasoning : Applications to Software Safety and SecurityCorina S. P¿s¿reanu
- Softcover
- New
£ 30.10 shipping - Symbolic Execution and Quantitative Reasoning | Applications to Software Safety and SecurityCorina S. P¿s¿reanu
- Softcover
- New
£ 60.21 shipping
