Retour au catalogue
Logique pour l'informatique : introduction à la déduction automatique : cours & exercices : licence d'informatique
ISBN-13
9782711720699
Éditeur
Vuibert (Paris)
Date de publication
01/01/2008
Résumé
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux
0 annonce en vente actuellement
