Cărți de David Pichardie

Static Analysis

Lecture Notes in Computer Science, nr. 12389

Editat de David Pichardie et al.

13 ian 2021

Preț: 464^.22 lei 580^.29 lei

43-57 zile

-20%

Interactive Theorem Proving

Editat de Sandrine Blazy et al.

19 iul 2013

Preț: 333^.02 lei 416^.28 lei

43-57 zile

-20%