Logique : 2 : Méthodes formelles pour l'étude des programmes

Logique : 2 Méthodes formelles pour l'étude des programmes

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Gochet Paul (Auteur), Gribomont Pascal (Auteur)
Format : Livre
Langue : français
Titre complet : Logique. 2, Méthodes formelles pour l'étude des programmes / Paul Gochet, Pascal Gribomont
Publié : Paris : Hermès , 1994
Description matérielle : 351 p.
Collection : Langue, raisonnement, calcul (Paris)
Sujets :
Logique
Théorie des ensembles
Ordinateurs > Programmation
Intelligence artificielle
Programmation logique
Logique mathématique
Description
Variantes de titre : Méthodes formelles pour l'étude des programmes
Bibliographie : Bibliogr. p. [337]-343. Index
ISBN : 2-86601-395-6