# Logique et théorie des systèmes digitaux

> Fiche œuvre du catalogue https://superlivre.fr/livre/logique-et-theorie-des-systemes-digitaux-c23040d6bdbc (données du dépôt légal BnF).

- **Auteur** : [André Thayse](https://superlivre.fr/auteur/andre-thayse-cb12015128h)
- **Première parution** : 2002
- **Langue** : français
- **Genres** : [Informatique -- Mathématiques](https://superlivre.fr/genre/informatique-mathematiques-cb12270226g), [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r), [Méthodes formelles (informatique)](https://superlivre.fr/genre/methodes-formelles-informatique-cb13539618z)
- **Éditions recensées** : 1 (2002–2002)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2002 | [Hermès science publications](https://superlivre.fr/editeur/hermes-science-publications) | Paris | 272 | 2-7462-0586-6 |