Retour au catalogue
Logique(s), langages formels et complexité pour l'informatique
ISBN-13
9782746213951
Éditeur
Hermès science publications-Lavoisier (Paris)
Date de publication
01/01/2006
Résumé
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant
0 annonce en vente actuellement
