Andere Kunden interessierten sich auch für
![Agent Mediated Electronic Commerce]( "Agent Mediated Electronic Commerce")
Agent Mediated Electronic Commerce42,99 €![New Trends in Applied Artificial Intelligence]( "New Trends in Applied Artificial Intelligence")
New Trends in Applied Artificial Intelligence83,99 €![Web Service Implementation and Composition Techniques]( "Web Service Implementation and Composition Techniques")
Web Service Implementation and Composition Techniques37,99 €![New Trends in Constraints]( "New Trends in Constraints")
New Trends in Constraints37,99 €![Inductive Logic Programming]( "Inductive Logic Programming")
Inductive Logic Programming42,99 €![Recent Advances in Constraints]( "Recent Advances in Constraints")
Recent Advances in Constraints42,99 €![Theorem Proving with Analytic Tableaux and Related Methods]( "Theorem Proving with Analytic Tableaux and Related Methods")
Theorem Proving with Analytic Tableaux and Related Methods42,99 €
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.