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%

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7998

Editat de Sandrine Blazy et al.

19 iul 2013

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9291

Editat de Sandrine Blazy et al.

14 sep 2015

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9971

Editat de Sandrine Blazy et al.

8 noi 2016

Preț: 315^.93 lei 394^.92 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%