A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes.

Christophe Mauras René Thoraval

Published in: JFPLC (1999)

Keyphrases

technology enhanced
higher education
m learning
lifelong learning
corporate training
database
web pages
data mining
e learning