Sylvain Conchon

Identifiers

Open LibraryOL7870243A

Top Subjects

Software engineering (1)

Books by Sylvain Conchon

Total count: 2

Formal Methods and Software Engineering17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Springer London, Limited2015-01-01
Informatique - MP2I/MPI - CPGE 1re et 2e annéesCours et exercices corrigés

ELLIPSES2022-09-06