-
73
pages
-
Français
-
Documents
Description
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
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
-
Publié par
-
Langue
Français
-
Poids de l'ouvrage
1 Mo