Niveau: Supérieur, Master, Bac+4
Logiques et leurs applications Semantiques des langages de programmation Universite d'Orleans – Master Informatique Frederic Loulergue 2008-2009 F. Loulergue Logiques & leurs applications – Semantiques des langages de programmation 2008-2009 1 / 69
- loulergue logiques
- semantiques des langages de programmation
- assistants de preuve
- truc theorique
- master informatique