Filtre: Paperback

Cărți de Sandrine Blazy

Sémantiques formelles

Autor Sandrine Blazy

14 sep 2010

Preț: 375^.25 lei 469^.05 lei

43-57 zile

-20%

Verified Software. Theories, Tools, and Experiments

Lecture Notes in Computer Science, nr. 9971

Editat de Sandrine Blazy et al.

8 noi 2016

Preț: 317^.84 lei 397^.30 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%

Static Analysis

Editat de Sandrine Blazy et al.

14 sep 2015

Preț: 324^.82 lei 406^.03 lei

43-57 zile

-20%