Rayna Dimitrova

Rayna Dimitrova

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II

Lecture Notes in Computer Science, nr. 14500

Editat de Rayna Dimitrova et al.

3 ian 2024

Preț: 436^.53 lei 545^.65 lei

43-57 zile

-20%

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13124

Editat de Roderick Bloem et al.

22 feb 2022

Preț: 346^.56 lei 433^.20 lei

43-57 zile

-20%