Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced Lectures
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covere...
Zapisane w:
| Kolejni autorzy: | , , , |
|---|---|
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Seria: | Programming and Software Engineering
7938 |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal Methods for Dynamical Systems, Texte imprimé, 9783642388750 • Formal Methods for Dynamical Systems, Texte imprimé, 9783642388736 |
| LEADER | 02815nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 946699 | ||
| 008 | 130704s2013 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN170492842 | ||
| 020 | |a 9783642388743 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 245 | 0 | 0 | |a Formal methods for dynamical systems : |b 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced Lectures |c edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c 2013. | ||
| 490 | 0 | |a Programming and Software Engineering |v 7938 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking. | ||
| 700 | 1 | |a Bernardo, Marco. |4 pbd | |
| 700 | 1 | |a de Vink, Erik. |4 pbd | |
| 700 | 1 | |a Di Pierro, Alessandra, |d 19..- |4 pbd | |
| 700 | 1 | |a Wiklicky, Herbert. |4 pbd | |
| 776 | 0 | |t Formal Methods for Dynamical Systems |b Texte imprimé |z 9783642388750 | |
| 776 | 0 | |t Formal Methods for Dynamical Systems |b Texte imprimé |z 9783642388736 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38874-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2BXVJSHP-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747820716 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-38874-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750837403 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-38874-3 |z Accès INSA CVL | |
| 997 | |0 946699 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||