Hoppa till sidans huvudinnehåll

Corina S. Păsăreanu - Böcker

Visar alla böcker från författaren Corina S. Păsăreanu.
9 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 m. fl

Häftad, Engelska, 2021

1 159 kr

Skickas inom 10-15 vardagar

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Av Corina S. Păsăreanu, Corina S. Pasareanu m. fl

Häftad, Engelska, 2020

359 kr

Skickas inom 10-15 vardagar

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, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Av Corina S Pasareanu, Corina S. Pasareanu

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Av Corina S. Păsăreanu

Häftad, Engelska, 2020

739 kr

Slutsåld

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Av Corina S. Păsăreanu

Inbunden, Engelska, 2020

1 229 kr

Slutsåld