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 |