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

Visar alla böcker från författaren Corina S. Păsăreanu.
9 produkter
Corina S. Păsăreanu - Symbolic Execution and Quantitative Reasoning, Häftad

Symbolic Execution and Quantitative Reasoning

Av Corina S. Păsăreanu

Häftad, Engelska, 2020

749 kr

Slutsåld
Corina S. Păsăreanu - Symbolic Execution and Quantitative Reasoning, Inbunden

Symbolic Execution and Quantitative Reasoning

Av Corina S. Păsăreanu

Inbunden, Engelska, 2020

1 239 kr

Slutsåld
Radu Calinescu, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

Av Radu Calinescu, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

Häftad, Engelska, 2021

1 169 kr

Skickas inom 7-10 vardagar
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu - Theoretical Aspects of Computing – ICTAC 2022, Häftad

Theoretical Aspects of Computing – ICTAC 2022

Av Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

Häftad, Engelska, 2022

739 kr

Skickas inom 7-10 vardagar
Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu - Computer Aided Verification, Häftad

Computer Aided Verification

Av Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu - Computer Aided Verification, Häftad

Computer Aided Verification

Av Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Corina S Pasareanu, Corina S. Pasareanu - Model Checking Software, Häftad

Model Checking Software

Av Corina S Pasareanu, Corina S. Pasareanu

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Corina S Pasareanu, Gwen Salaün, Corina S. Pasareanu - Formal Aspects of Component Software, Häftad

Formal Aspects of Component Software

Av Corina S Pasareanu, Gwen Salaün, Corina S. Pasareanu

Häftad, Engelska, 2013

679 kr

Skickas inom 7-10 vardagar