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ț: 342^.96 lei 428^.70 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ț: 340^.32 lei 425^.40 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ț: 332^.06 lei 415^.08 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ț: 336^.86 lei 421^.08 lei

6-8 săpt.

-20%