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.
7 produkter

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

AvRadu Calinescu,Corina S. Păsăreanu

Häftad, Engelska, 2021

1 139 kr

Skickas inom 10-15 vardagar

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

AvCorina S. Păsăreanu

Häftad, Engelska, 2020

349 kr

Skickas inom 10-15 vardagar

Del 13572 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2022

19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

AvHelmut Seidl,Zhiming Lium. fl.

Häftad, Engelska, 2022

719 kr

Skickas inom 10-15 vardagar

Del 9207 - Lecture Notes in Computer Science

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

AvDaniel Kroening,Corina S. Păsăreanu

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Del 9206 - Lecture Notes in Computer Science

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

AvDaniel Kroening,Corina S. Păsăreanu

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvCorina S Pasareanu

Häftad, Engelska, 2009

719 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

AvCorina S Pasareanu,Gwen Salaün

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar