Cărți de Roberto Giacobazzi

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13160

Editat de Pedro Lopez-Garcia et al.

17 mai 2023

Preț: 796^.20 lei 995^.25 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7737

Editat de Roberto Giacobazzi et al.

7 ian 2013

Preț: 336^.06 lei 420^.07 lei

6-8 săpt.

-20%

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3148

Editat de Roberto Giacobazzi

17 aug 2004

Preț: 328^.55 lei 410^.68 lei

6-8 săpt.

-20%