Cautari populare: bravecto caini 20-40 kg - mocasini ara alabama - hepatobil v tablete - plasturi calmare durere lombara - alimentator televizor sony bravia - sampon medivet - kit automatizare poarta batanta
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security, Paperback/Corina S. Păsăreanu
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security/Corina S. Păsăreanu