Cărți de Patrick Cousot

Principles of Abstract Interpretation

Autor Patrick Cousot

21 sep 2021

Preț: 517^.14 lei 646^.42 lei

22-36 zile | 6-12 zile

-20%

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2126

Editat de Patrick Cousot

4 iul 2001

Preț: 333^.46 lei 416^.83 lei

43-57 zile

-20%

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Lecture Notes in Computer Science, nr. 724

Editat de Patrick Cousot et al.

8 sep 1993

Preț: 326^.03 lei 407^.54 lei

43-57 zile

-20%