Hoppa till sidans huvudinnehåll

Constantin Enea - Böcker

Visar alla böcker från författaren Constantin Enea.
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

719 kr

Skickas inom 10-15 vardagar

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

579 kr

Skickas inom 10-15 vardagar

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

579 kr

Skickas inom 10-15 vardagar

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

579 kr

Skickas inom 10-15 vardagar

Networked Systems

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

AvArmando Castañeda,Constantin Enea m. fl.

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar