Cărți de Corina S. Păsăreanu

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

Lecture Notes in Computer Science, nr. 13085

Editat de Radu Calinescu et al.

3 dec 2021

Preț: 532^.67 lei 665^.84 lei

6-8 săpt.

-20%

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

Synthesis Lectures on Software Engineering

Autor Corina S. Păsăreanu

13 mai 2020

Preț: 160^.92 lei

38-44 zile

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9207

Editat de Daniel Kroening et al.

23 iul 2015

Preț: 334^.93 lei 418^.66 lei

6-8 săpt.

-20%