Cărți de Deepak D'Souza

Automated Technology for Verification and Analysis

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 329^.71 lei 412^.14 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 330^.79 lei 413^.49 lei

6-8 săpt.

-20%

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%