Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects s...
Uloženo v:
| Další autoři: | , |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Vydání: | 1st ed. 2013. |
| Edice: | Programming and Software Engineering
7843 |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Web Services and Formal Methods, Texte imprimé, 9783642382291 • Web Services and Formal Methods, Texte imprimé, 9783642382314 |
| LEADER | 02489nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 946629 | ||
| 008 | 130704q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN170491889 | ||
| 020 | |a 9783642382307 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.7 | ||
| 245 | 0 | 0 | |a Web services and formal methods : |b 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers |c edited by Maurice H. Beek, Niels Lohmann. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Programming and Software Engineering |v 7843 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets | ||
| 700 | 1 | |a ter Beek, Maurice H., |d 1972. |4 pbd | |
| 700 | 1 | |a Lohmann, Niels, |d 19..- |4 pbd | |
| 776 | 0 | |t Web Services and Formal Methods |b Texte imprimé |z 9783642382291 | |
| 776 | 0 | |t Web Services and Formal Methods |b Texte imprimé |z 9783642382314 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38230-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-FHB6381B-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747821429 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-38230-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750838183 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-38230-7 |z Accès INSA CVL | |
| 997 | |0 946629 |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/ | ||