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ț: 819^.71 lei 1024^.64 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ț: 345^.91 lei 432^.39 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ț: 338^.16 lei 422^.70 lei

6-8 săpt.

-20%