Millions of books in English, Spanish and other languages. Free UK delivery 

menu

0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
    You are in:
  1. Home 
  2. Books 
  3. Books 
Applied filters:

Corina S P 259 S 259 Reanu Books

We found 3 Books for corina s p 259 s 259 reanu

Condition
Type
Sort
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Păsăreanu, Corina S.
Springer, Paperback, New
10%
disc.

£ 32.84

£ 29.56

Software Engineering and Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Software Engineering and Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Calinescu, Radu ; Păsăreanu, Corina S.
Springer, Paperback, New

£ 94.85

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Huisman, Marieke ; Păsăreanu, Corina ; Zhan, Naijun
Springer, Paperback, New

£ 125.43

Few books have been found. You can repeat the search without requiring all the searched terms to be present.