Cărți de Byron Cook

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6174

Editat de Tayssir Touili et al.

30 iun 2010

Preț: 639^.25 lei 799^.07 lei

3-5 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Byron Cook et al.

3 ian 2007

Preț: 327^.92 lei 409^.89 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Editat de María Alpuente et al.

26 oct 2009

Preț: 330^.98 lei 413^.72 lei

6-8 săpt.

-20%