Corina S. Păsăreanu - Böcker
Visar alla böcker från författaren Corina S. Păsăreanu.
9 produkter
9 produkter
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
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
Häftad, Engelska, 2022
739 kr
Skickas inom 10-15 vardagar
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
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
Häftad, Engelska, 2009
739 kr
Skickas inom 10-15 vardagar
Formal Aspects of Component Software
Av Corina S Pasareanu, Gwen Salaün, Gwen Salaun, Corina S. Pasareanu
Häftad, Engelska, 2013
679 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2020
729 kr
Slutsåld
Inbunden, Engelska, 2020
1 219 kr
Slutsåld