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

Visar alla böcker från författaren Corina S. Păsăreanu.
4 produkter
Radu Calinescu, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu, 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, Corina S. P¿s¿reanu

Häftad, Engelska, 2021

1 169 kr

Skickas inom 10-15 vardagar
Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu, Corina S. P¿s¿reanu - Symbolic Execution and Quantitative Reasoning, Häftad

Symbolic Execution and Quantitative Reasoning

Av Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu, Corina S. P¿s¿reanu

Häftad, Engelska, 2020

359 kr

Skickas inom 10-15 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 10-15 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 10-15 vardagar