Sylvain Conchon – författare

Visar alla böcker från författaren Sylvain Conchon. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Apprendre à programmer avec Ocaml

   Algorithmes et structures de données.

   Av Sylvain Conchon, Jean-Christophe Fillitre

   Häftad, 2014

   425 kr

   Lägg i varukorg

2. 

   Formal Methods and Software Engineering

   17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

   Av Michael Butler, Sylvain Conchon m. fl.

   Häftad, 2015

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of …

3. 

   Formal Methods and Software Engineering

   17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

   Av Fatiha Zaidi, Sylvain Conchon m. fl.

   E-bok, 2015

   755 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of …