Logique pour l'informatique : introduction à la déduction automatique : cours et exercices, licence d'informatique
La 4e de couverture indique : "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 : bien écrit, un langage de programmation réduira les obstac...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Livre papier |
| Taal: | Français |
| Gepubliceerd in: |
Paris :
Vuibert
DL 2008.
|
| Onderwerpen: | |
| Autres localisations: | Voir dans le Sudoc |