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%

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5825

Editat de María Alpuente et al.

26 oct 2009

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science

Editat de Byron Cook et al.

3 ian 2007

Preț: 326^.91 lei 408^.64 lei

6-8 săpt.

-20%