-
73
pagini
-
Français
-
Documente
Descriere
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
-
Publicat de
-
Limba
Français
-
Dimensiunea documentului
1 Mo