Rayna Dimitrova

Visar alla böcker från författaren Rayna Dimitrova. Handla med fri frakt och snabb leverans.

1. 

   Software Verification

   2022

   • Häftad 628 kr
   • E-bok 813 kr
2. 

   Verification, Model Checking, and Abstract Interpretation

   2024

   • Häftad 853 kr
   • E-bok 1056 kr
   • Häftad 853 kr
   • E-bok 1091 kr