Rayna Dimitrova – författare

Visar alla böcker från författaren Rayna Dimitrova.

3 produkter

1. 

   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

   Av Roderick Bloem, Rayna Dimitrova m. fl.

   Häftad, 2022

   809 kr

   Lägg i varukorg

2. 

   Verification, Model Checking, and Abstract Interpretation

   25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II

   Av Rayna Dimitrova, Ori Lahav m. fl.

   Häftad, 2024

   1099 kr

   Lägg i varukorg

3. 

   Verification, Model Checking, and Abstract Interpretation

   25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I

   Av Rayna Dimitrova, Ori Lahav m. fl.

   Häftad, 2024

   1109 kr

   Lägg i varukorg