Formal models of communicating systems : languages, automata, and monadic second-order logic
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livre papier |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin ; New York :
Springer
cop. 2006.
|
| Gaiak: | |
| Oharra: |
Ouvrage basé sur la thèse de l'auteur intitulée : "Automata and logics for message sequence charts" |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Kokapena | Sailkapena | Type de prêt | Egoera | |
|---|---|---|---|---|
| Magasin | F13732 | Eskuragarri |