- EAN13
- 9782866013950
- ISBN
- 978-2-86601-395-0
- Éditeur
- Hermès science publications
- Date de publication
- 21/02/1994
- Collection
- Langue, raisonnement, calcul
- Séries
- Logique. (2)
- Nombre de pages
- 352
- Dimensions
- 24 x 15,5 cm
- Poids
- 660 g
- Code dewey
- 005.131
- Fiches UNIMARC
- S'identifier
Volume 2, Méthodes formelles pour l'étude des programmes - Logique
Méthodes formelles pour l'étude des programmes
De Paul Gochet, Pascal Gribomont
Hermès science publications
Langue, raisonnement, calcul
Autre version disponible
Autres livres dans la même série
-
Logique., Volume 1, Méthodes pour l'informatique fondamentale, Logique - Tome 1, méthodes pour l'informatique fondamentalePaul Gochet, Pascal GribomontHermès science publications
-
Logique., Volume 3, Méthodes pour l'intelligence artificielle, Logique - Tome 3, méthodes pour l'intelligence artificiellePaul Gochet, Pascal Gribomont, André ThayseHermès science publications
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Logique., Volume 1, Méthodes pour l'informatique fondamentale, Logique - Tome 1, méthodes pour l'informatique fondamentalePaul Gochet, Pascal GribomontHermès science publications
-
Logique., Volume 3, Méthodes pour l'intelligence artificielle, Logique - Tome 3, méthodes pour l'intelligence artificiellePaul Gochet, Pascal Gribomont, André ThayseHermès science publications