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

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

7 produkter

Kategorier

7 produkter

Del 13085
Del 13085 - Lecture Notes in Computer Science
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 199 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
369 kr
Skickas inom 10-15 vardagar
Del 13572
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
749 kr
Skickas inom 10-15 vardagar
Del 9207
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
749 kr
Skickas inom 10-15 vardagar
Del 9206
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
749 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
749 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
699 kr
Skickas inom 10-15 vardagar