Cărți de Christine Paulin-Mohring

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ț: 336^.06 lei 420^.08 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5133

Editat de Philippe Audebaud et al.

4 iul 2008

Preț: 334^.61 lei 418^.27 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3839

Editat de Jean-Christophe Filliatre et al.

25 ian 2006

Preț: 325^.38 lei 406^.73 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

Lecture Notes in Computer Science, nr. 1512

Editat de Eduardo Gimenez et al.

7 oct 1998

Preț: 330^.09 lei 412^.61 lei

6-8 săpt.

-20%