Cărți de Radhia Cousot

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6337

Editat de Radhia Cousot et al.

9 sep 2010

Preț: 330^.54 lei 413^.16 lei

3-5 săpt.

-20%

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1145

Editat de Radhia Cousot et al.

11 sep 1996

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Static Analysis

Editat de Radhia Cousot

28 mai 2003

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Radhia Cousot

13 ian 2005

Preț: 331^.38 lei 414^.22 lei

6-8 săpt.

-20%