Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Colección: | Programming and Software Engineering,
7843 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-38230-7 | ||
| 003 | DE-He213 | ||
| 005 | 20220311210050.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130515s2013 gw | s |||| 0|eng d | ||
| 020 | |a 9783642382307 |9 978-3-642-38230-7 | ||
| 024 | 7 | |a 10.1007/978-3-642-38230-7 |2 doi | |
| 050 | 4 | |a QA76.76.A65 | |
| 072 | 7 | |a UB |2 bicssc | |
| 072 | 7 | |a COM032000 |2 bisacsh | |
| 072 | 7 | |a UX |2 thema | |
| 082 | 0 | 4 | |a 005.3 |2 23 |
| 245 | 1 | 0 | |a Web Services and Formal Methods |h [electronic resource] : |b 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / |c edited by Maurice H. ter Beek, Niels Lohmann. |
| 250 | |a 1st ed. 2013. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2013. | |
| 300 | |a X, 151 p. 55 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Programming and Software Engineering, |x 2945-9168 ; |v 7843 | |
| 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. | ||
| 650 | 0 | |a Application software. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Electronic data processing-Management. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Compilers (Computer programs). | |
| 650 | 0 | |a User interfaces (Computer systems). | |
| 650 | 0 | |a Human-computer interaction. | |
| 650 | 1 | 4 | |a Computer and Information Systems Applications. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a IT Operations. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Compilers and Interpreters. |
| 650 | 2 | 4 | |a User Interfaces and Human Computer Interaction. |
| 700 | 1 | |a ter Beek, Maurice H. |e editor. |0 (orcid)0000-0002-2930-6367 |1 https://orcid.org/0000-0002-2930-6367 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Lohmann, Niels. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642382314 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642382291 |
| 830 | 0 | |a Programming and Software Engineering, |x 2945-9168 ; |v 7843 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-38230-7 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||