Filtre:

Cărți de Roberto Giacobazzi

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Lecture Notes in Computer Science, nr. 13160

Editat de Pedro Lopez-Garcia et al.

17 mai 2023

Preț: 791^.94 lei 989^.93 lei

6-8 săpt.

-20%

Static Analysis

Editat de Roberto Giacobazzi

17 aug 2004

Preț: 327^.92 lei 409^.89 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Roberto Giacobazzi et al.

7 ian 2013

Preț: 335^.91 lei 419^.88 lei

6-8 săpt.

-20%