Hoppa till sidans huvudinnehåll

Constantin Enea – författare

Visar alla böcker från författaren Constantin Enea.
5 produkter
Constantin Enea, Ruzica Piskac - Verification, Model Checking, and Abstract Interpretation, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
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

Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
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

Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
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

Armando Castañeda, Constantin Enea, Nirupam Gupta - Networked Systems, Häftad
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