Eva Darulova – författare

Visar alla böcker från författaren Eva Darulova.

3 produkter

1. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   589 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   589 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   589 kr

   Lägg i varukorg