Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. Books 

Corina S P 259 S 259 Reanu Books

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

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

€ 30,93
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

€ 81,75
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

€ 106,50

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