Rayna Dimitrova - Böcker

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

3 produkter

Kategorier

3 produkter

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, Engelska, 2022

799 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar