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ț: 343^.62 lei 429^.52 lei

3-5 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3385

Editat de Radhia Cousot

13 ian 2005

Preț: 342^.46 lei 428^.07 lei

6-8 săpt.

-20%

Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Lecture Notes in Computer Science, nr. 2694

Editat de Radhia Cousot

28 mai 2003

Preț: 343^.62 lei 429^.52 lei

6-8 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ț: 337^.85 lei 422^.31 lei

6-8 săpt.

-20%