Constantin Enea – författare

Visar alla böcker från författaren Constantin Enea.

5 produkter

1. 

   Verification, Model Checking, and Abstract Interpretation

   20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

   Av Constantin Enea, Ruzica Piskac

   Häftad, 2019

   739 kr

   Lägg i varukorg

2. 

   Computer Aided Verification

   35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

   Av Constantin Enea, Akash Lal

   Häftad, 2023

   589 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

   Av Constantin Enea, Akash Lal

   Häftad, 2023

   589 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

   Av Constantin Enea, Akash Lal

   Häftad, 2023

   589 kr

   Lägg i varukorg

5. 

   Networked Systems

   12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings

   Av Armando Castañeda, Constantin Enea m. fl.

   Häftad, 2024

   959 kr

   Lägg i varukorg