Formal models of communicating systems : languages, automata, and monadic second-order logic
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Berlin ; New York :
Springer
cop. 2006.
|
| Matèries: | |
| Nota: |
Ouvrage basé sur la thèse de l'auteur intitulée : "Automata and logics for message sequence charts" |
| Autres localisations: | Voir dans le Sudoc |
| Descripció de l’ítem: | Ouvrage basé sur la thèse de l'auteur intitulée : "Automata and logics for message sequence charts" |
|---|---|
| Descripció física: | 1 vol. (IX-181 p.) : ill., couv. en coul. ; 24 cm. |
| Bibliografia: | Bibliogr. p. [165]-171. Index |
| ISBN: | 3540329226 (Rel.) 9783540329220 (Rel.) |