Constantin Enea - Böcker

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

Av Constantin Enea, Ruzica Piskac

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13965 - Lecture Notes in Computer Science

Computer Aided Verification

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

599 kr

Skickas inom 7-10 vardagar
Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13964 - Lecture Notes in Computer Science

Computer Aided Verification

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

599 kr

Skickas inom 7-10 vardagar
Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13966 - Lecture Notes in Computer Science

Computer Aided Verification

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

599 kr

Skickas inom 7-10 vardagar
Armando Castañeda, Constantin Enea, Nirupam Gupta, Armando Castaneda - Networked Systems, Häftad
Del 14783 - Lecture Notes in Computer Science

Networked Systems

Av Armando Castañeda, Constantin Enea, Nirupam Gupta, Armando Castaneda

Häftad, Engelska, 2024

849 kr

Skickas inom 7-10 vardagar