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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Livre papier |
| Jezik: | Français |
| Izdano: |
Paris :
Vuibert
DL 2008.
|
| Teme: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Lokacija | Signatura | Type de prêt | Status | |
|---|---|---|---|---|
| Informatique, rez-de-chaussée | 005.131 CER | Prosto | ||
| Informatique, rez-de-chaussée | 005.131 CER | Prosto |