Constantin Enea – författare

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

5 produkter

Kategorier

5 produkter

Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
AvConstantin Enea,Ruzica Piskac
Häftad, Engelska, 2019
739 kr
Skickas inom 10-15 vardagar
Del 13965
Del 13965 - Lecture Notes in Computer Science
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
AvConstantin Enea,Akash Lal
Häftad, Engelska, 2023
589 kr
Skickas inom 10-15 vardagar
Del 13964
Del 13964 - Lecture Notes in Computer Science
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
AvConstantin Enea,Akash Lal
Häftad, Engelska, 2023
589 kr
Skickas inom 10-15 vardagar
Del 13966
Del 13966 - Lecture Notes in Computer Science
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
AvConstantin Enea,Akash Lal
Häftad, Engelska, 2023
589 kr
Skickas inom 10-15 vardagar
Del 14783
Del 14783 - Lecture Notes in Computer Science
Networked Systems
12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings
AvArmando Castañeda,Constantin Eneam. fl.
Häftad, Engelska, 2024
949 kr
Skickas inom 10-15 vardagar