Christine Paulin-Mohring – författare
Visar alla böcker från författaren Christine Paulin-Mohring. Handla med fri frakt och snabb leverans.
7 produkter
Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Av Jean-Christophe Filliatre, Christine Paulin-Mohring m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified …
Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Av Benjamin Werner, Christine Paulin-Mohring m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
Types for Proofs and Programs
International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
Av Eduardo Gimenez, Christine Paulin-Mohring
Häftad, 1998
569 kr
Lägg i varukorg
This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 …
Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Av Philippe Audebaud, Christine Paulin-Mohring
Häftad, 2008
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. …
Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Av Christine Paulin-Mohring, Philippe Audebaud
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. …
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Av Sandrine Blazy, Christine Paulin-Mohring m. fl.
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully …
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Av David Pichardie, Christine Paulin-Mohring m. fl.
E-bok, 2013
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully …
