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

Visar alla böcker från författaren Corina S. Păsăreanu.

4 produkter

Kategorier

4 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 149 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

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

719 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

719 kr

Skickas inom 10-15 vardagar