Cahier d'exercices : N 1 Modélisation ensembliste, spécification ...

UFR Sciences Nantes. Méthodes formelles - B (C. Attiogbé). Cahier d'exercices : N. ?. 1. Modélisation ensembliste, spécification formelle B maj Septembre 2004 ...


Un extrait du document