Portail Documentaire
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
| Titre : | Logique Vol.2 : méthodes formelles, pour l'étude des programmes |
| Auteurs : | Paul Gochet ; Pascal Gribomont |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès, 1994 |
| Collection : | Langue, raisonnement, calcul, ISSN 0988-0569 |
| ISBN/ISSN/EAN : | 978-2-86601-395-0 |
| Format : | 351 p. / 24 cm |
| Note générale : | Bibliogr. p. 337-343. - index p. 345-351. |
| Mots-clés: | Logique ; théorie des ensembles ; méthode formelle ; programmes parallèles ; théorie point fixe |
Exemplaires
| Cote | Support | Localisation | Section | Disponibilité | |
|---|---|---|---|---|---|
| 226309 | Livre | Nkolbisson | Bibliothèque Centrale | Disponible |




