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...
Enregistré dans:
Auteurs principaux : | , , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | 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 / edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
Collection : | Programming and Software Engineering ; 7938 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | 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 |
Sujets : | |
Documents associés : | Autre format:
Formal Methods for Dynamical Systems Autre format: Formal Methods for Dynamical Systems |
LEADER | 03786clm a2200697 4500 | ||
---|---|---|---|
001 | PPN170492842 | ||
003 | http://www.sudoc.fr/170492842 | ||
005 | 20241001155300.0 | ||
010 | |a 978-3-642-38874-3 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-38874-3 |2 DOI |
035 | |a (OCoLC)854500373 | ||
035 | |a Springer978-3-642-38874-3 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-38874-3 | ||
035 | |a Springer-11645-978-3-642-38874-3 | ||
100 | |a 20130704d2013 u |0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Formal methods for dynamical systems |e 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 |e advanced Lectures |f edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2013 | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7938 | |
330 | |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. | ||
359 | 1 | |a Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. | |
371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7938 | |
452 | | | |t Formal Methods for Dynamical Systems |b Texte imprimé |y 9783642388750 | |
452 | | | |t Formal Methods for Dynamical Systems |b Texte imprimé |y 9783642388736 | |
610 | 1 | |a Computer Science | |
610 | 2 | |a Logics and Meanings of Programs | |
610 | 2 | |a Computational Biology/Bioinformatics | |
610 | 2 | |a Computation by Abstract Devices | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Computer Science Logic and Foundations of Programming | |
610 | 2 | |a Computational and Systems Biology | |
610 | 2 | |a Theory of Computation | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
615 | |a Computer Science |n 11645 |2 Springer | ||
676 | |a 005.1 |v 23 | ||
680 | |a QA76.758 | ||
701 | 1 | |a Bernardo |b Marco |4 651 | |
701 | 1 | |a de Vink |b Erik |4 651 | |
701 | 1 | |a Di Pierro |b Alessandra |4 651 | |
701 | 1 | |a Wiklicky |b Herbert |4 651 | |
801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20231102 |g AACR2 | |
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 441099901:83085942X |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-38874-3 | |
915 | |5 441099901:83085942X |b SPRING13-00943 | ||
930 | |5 441099901:83085942X |b 441099901 |j g | ||
991 | |5 441099901:83085942X |a Exemplaire créé en masse par ITEM le 30-09-2024 16:15 | ||
997 | |a NUM |b SPRING13-00943 |d NUMpivo |e EM |s d | ||
998 | |a 978772 |