Constantin Enea - Böcker

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

Av Constantin Enea, Ruzica Piskac

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

589 kr

Skickas inom 10-15 vardagar

Networked Systems

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

Av Armando Castañeda, Constantin Enea m. fl

Häftad, Engelska, 2024

989 kr

Skickas inom 10-15 vardagar