Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 25. April 2013 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 260 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642382291 |
| Seiten | 151 |
Schlagwörter
Angewandte Informatik, Compiler und Übersetzer, Compilers and Interpreters, Computer and Information Systems Applications, Computer Science Logic and Foundations of Programming, IT Operations, Mensch-Computer-Interaktion, Software Engineering, Theoretische Informatik, User Interfaces and Human Computer Interaction, Wirtschaftsmathematik und -informatik - IT-Management
Herstellerinformationen
Bekannt durch
