Comprendre les méthodes formelles : panorama et outils logiques
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre papier |
| Kieli: | Français |
| Julkaistu: |
Paris ; Milan ; Barcelone :
Masson
impr. 1996, cop. 1996
|
| Sarja: | Collection technique et scientifique des télécommunications
|
| Aiheet: | |
| Autres localisations: | Voir dans le Sudoc |
| Ulkoasu: | 1 volume (xvii-306 pages) : illustrations, couverture illustrée ; 24 cm. |
|---|---|
| Bibliografia: | Bibliographie p. 281-292. Index |
| ISBN: | 2225853045 (br.) : |
| ISSN: | 0221-2579 |