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ț: 805^.89 lei 1007^.36 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ț: 340^.13 lei 425^.16 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ț: 332^.49 lei 415^.62 lei

6-8 săpt.

-20%