# Vérification et minimisation de systèmes séquentiels : optimisations de méthodes basées sur la composition de fonctions booléennes

> Fiche œuvre du catalogue https://superlivre.fr/livre/verification-et-minimisation-de-systemes-sequentiels-cb35748858j (données du dépôt légal BnF).

- **Auteur** : [Thomas Tamisier](https://superlivre.fr/auteur/thomas-tamisier-cb13022355k)
- **Première parution** : 1995
- **Langue** : français
- **Genres** : [Théorie des machines séquentielles](https://superlivre.fr/genre/theorie-des-machines-sequentielles-cb119481644)
- **Éditions recensées** : 1 (1995–1995)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1995 | [École nationale supérieure des télécommunications](https://superlivre.fr/editeur/ecole-nationale-superieure-des-telecommunications) | Paris | 102 |  |