Cărți de Deepak D'Souza

Model checking trace-based information flow properties

Autor Raghavendra Kagalavadi Ramesh et al.

mar 2012

Preț: 265^.32 lei 331^.66 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 10482

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 345^.90 lei 432^.37 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 345^.05 lei 431^.32 lei

6-8 săpt.

-20%