GEOTRUST SSL CERTIFICATE
| Titre : | Méthodes formelles pour l'étude des programmes |
| Titre de série : | Logique, 2 |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 1994 |
| ISBN/ISSN/EAN : | 978-2-86601-395-0 |
| Format : | 352 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 511 (Logique mathématique, Jeux mathématiques) |
| Mots-clés: | ensembles, théorie des |
| Résumé : |
La théorie des ensembles et ses méthodes d'application. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
