Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1426 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Abstract compositional analysis of iterated relations, a structural approach to complex state transition systems, Frédéric Geurts, 1998, Berlin, Springer, 1 vol. (XIV-280 p.), Lecture notes in computer science, 3-540-65506-9 • Abstract Compositional Analysis of Iterated Relations, Texte imprimé, 9783662183526 |
| descrición da copia: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
|---|---|
| ISBN: | 9783540492115 (PDF) |
| ISSN: | 1611-3349 |
| Acceso: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |