Logique. Volume 2, Méthodes formelles pour l'étude des programmes
Сохранить в:
| Главные авторы: | , |
|---|---|
| Формат: | Livre papier |
| Язык: | Français |
| Опубликовано: |
Paris :
Hermès
C 1994.
|
| Серии: | Langue, raisonnement, calcul
|
| Предметы: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Méthodes formelles pour l'étude des programmes |
| Объем: | 1 volume (351 pages) : illustrations, couverture illustrée ; 24 cm. |
|---|---|
| Библиография: | Bibliographie p. [337]-343. Index |
| ISBN: | 2866013956 (rel.) |
| ISSN: | 0988-0569 |