Corina S. Păsăreanu – författare
Visar alla böcker från författaren Corina S. Păsăreanu.
7 produkter
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Av Radu Calinescu, Corina S. Păsăreanu
Häftad, 2021
1179 kr
Lägg i varukorg
Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
Häftad, 2020
369 kr
Lägg i varukorg
Theoretical Aspects of Computing – ICTAC 2022
19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
Av Helmut Seidl, Zhiming Liu m. fl.
Häftad, 2022
739 kr
Lägg i varukorg
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
739 kr
Lägg i varukorg
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
739 kr
Lägg i varukorg
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Häftad, 2009
739 kr
Lägg i varukorg
Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Av Corina S Pasareanu, Gwen Salaün
Häftad, 2013
679 kr
Lägg i varukorg