Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The bo...
Enregistré dans:
Auteurs principaux : | , , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue. |
Édition : | 1st ed. 2013. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
Collection : | Programming and Software Engineering ; 7866 |
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 : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Contenu : | The Abstract Behavioral Specification Language: A Tutorial Introduction. Subobject-Oriented Programming. Verification of Open Concurrent Object Systems. Automatic Inference of Bounds on Resource Consumption. Separating Cost and Capacity for Load Balancing in ABS Deployment Models. Composing Distributed Systems: Overcoming the Interoperability Challenge. Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract. Formal Aspects of Free and Open Source Software Components |
Sujets : | |
Documents associés : | Autre format:
Formal Methods for Components and Objects Autre format: Formal Methods for Components and Objects |
LEADER | 04112clm a2200721 4500 | ||
---|---|---|---|
001 | PPN172429749 | ||
003 | http://www.sudoc.fr/172429749 | ||
005 | 20241001155400.0 | ||
010 | |a 978-3-642-40615-7 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-40615-7 |2 DOI |
035 | |a (OCoLC)870330382 | ||
035 | |a Springer978-3-642-40615-7 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-40615-7 | ||
035 | |a Springer-11645-978-3-642-40615-7 | ||
100 | |a 20131018f20 k |0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
105 | |a y z 000yy | ||
106 | |a s | ||
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 Components and Objects |e 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures |f edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue. | |
205 | |a 1st ed. 2013. | ||
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d [20..] | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7866 | |
327 | 1 | |a The Abstract Behavioral Specification Language: A Tutorial Introduction |a Subobject-Oriented Programming |a Verification of Open Concurrent Object Systems |a Automatic Inference of Bounds on Resource Consumption |a Separating Cost and Capacity for Load Balancing in ABS Deployment Models |a Composing Distributed Systems: Overcoming the Interoperability Challenge |a Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract |a Formal Aspects of Free and Open Source Software Components | |
330 | |a This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems | ||
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 https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7866 | |
452 | | | |t Formal Methods for Components and Objects |y 9783642406140 | |
452 | | | |t Formal Methods for Components and Objects |y 9783642406164 | |
610 | 1 | |a Computer Science | |
610 | 2 | |a Logics and Meanings of Programs | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Computer Science Logic and Foundations of Programming | |
610 | 2 | |a Formal Languages and Automata Theory | |
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 | ||
700 | 1 | |a Giachino |b Elena |4 340 | |
701 | 1 | |a Giachino |b Elena |4 651 | |
701 | 1 | |3 PPN03354218X |a Hähnle |b Reiner |4 651 | |
701 | 1 | |a de Boer |b Frank S. |4 651 | |
701 | 1 | |a Bonsangue |b Marcello M. |4 651 | |
801 | 3 | |a FR |b Abes |c 20231130 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-40615-7 |z Accès sur la plateforme de l'éditeur | |
856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KVWX8X7Q-C |z Accès sur la plateforme Istex | |
856 | 4 | |5 441099901:830861564 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-40615-7 | |
915 | |5 441099901:830861564 |b SPRING13-01131 | ||
930 | |5 441099901:830861564 |b 441099901 |j g | ||
991 | |5 441099901:830861564 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
997 | |a NUM |b SPRING13-01131 |d NUMpivo |e EM |s d | ||
998 | |a 978976 |