Nantilus
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Programming and Software Engineering ; 7892 |
| 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 Techniques for Distributed Systems Autre format: Formal Techniques for Distributed Systems |
| LEADER | 04362clm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN170492397 | ||
| 003 | http://www.sudoc.fr/170492397 | ||
| 005 | 20241001155300.0 | ||
| 010 | |a 978-3-642-38592-6 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-38592-6 |2 DOI |
| 035 | |a (OCoLC)854576251 | ||
| 035 | |a Springer978-3-642-38592-6 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-38592-6 | ||
| 035 | |a Springer-11645-978-3-642-38592-6 | ||
| 100 | |a 20130704d2013 u u0frey0103 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 Techniques for Distributed Systems |e Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings |f edited by Dirk Beyer, Michele Boreale. | |
| 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 7892 | |
| 330 | |a This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability. | ||
| 359 | 1 | |a Distributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability. | |
| 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 7892 | |
| 452 | | | |t Formal Techniques for Distributed Systems |b Texte imprimé |y 9783642385919 | |
| 452 | | | |t Formal Techniques for Distributed Systems |b Texte imprimé |y 9783642385933 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Software Engineering | |
| 610 | 1 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Theory of Computation | |
| 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.1015113 |v 23 | ||
| 680 | |a QA76.9.L63 | ||
| 680 | |a QA76.5913 | ||
| 680 | |a QA76.63 | ||
| 701 | 1 | |a Beyer |b Dirk |4 651 | |
| 701 | 1 | |a Boreale |b Michele |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38592-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-QD8G4RZM-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830858970 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-38592-6 | |
| 915 | |5 441099901:830858970 |b SPRING13-00904 | ||
| 930 | |5 441099901:830858970 |b 441099901 |j g | ||
| 991 | |5 441099901:830858970 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:15 | ||
| 997 | |a NUM |b SPRING13-00904 |d NUMpivo |e EM |s d | ||
| 998 | |a 978735 | ||