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

AvRoderick Bloem,Rayna Dimitrova m. fl.

Häftad, Engelska, 2022

789 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

AvRayna Dimitrova,Ori Lahav m. fl.

Häftad, Engelska, 2024

1 009 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

AvRayna Dimitrova,Ori Lahav m. fl.

Häftad, Engelska, 2024

1 009 kr

Skickas inom 10-15 vardagar