Sylvain Conchon

No bio available. Add one in Open Library.

Books by Sylvain Conchon (50 max)

+ shelf+ list

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

2007

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

+ shelf+ list

Informatique - MP2I/MPI - CPGE 1re et 2e années : Cours et exercices corrigés

2022

Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen, Laurent Sartre