Cărți de Sandrine Blazy

Sémantiques formelles

Autor Sandrine Blazy

14 sep 2010

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

6-8 săpt.

-20%

Program Logics for Certified Compilers

Autor Andrew W. Appel et al.

20 apr 2014

Preț: 603^.88 lei 754^.86 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Interactive Theorem Proving

Editat de Sandrine Blazy et al.

19 iul 2013

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

6-8 săpt.

-20%

Static Analysis

Editat de Sandrine Blazy et al.

14 sep 2015

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

6-8 săpt.

-20%