Hoppa till sidans huvudinnehåll

Corina S. Păsăreanu – författare

Visar alla böcker från författaren .
7 produkter
Radu Calinescu, Corina S. Păsăreanu - Software Engineering and Formal Methods, Häftad

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 159 kr

Skickas inom 10-15 vardagar

Corina S. Păsăreanu - Symbolic Execution and Quantitative Reasoning, Häftad

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

AvCorina S. Păsăreanu

Häftad, Engelska, 2020

359 kr

Skickas inom 10-15 vardagar

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu - Theoretical Aspects of Computing – ICTAC 2022, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Daniel Kroening, Corina S. Păsăreanu - Computer Aided Verification, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Daniel Kroening, Corina S. Păsăreanu - Computer Aided Verification, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Corina S Pasareanu - Model Checking Software, Häftad

Model Checking Software

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

AvCorina S Pasareanu

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Corina S Pasareanu, Gwen Salaün - Formal Aspects of Component Software, Häftad

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

669 kr

Skickas inom 10-15 vardagar