Web Services and Formal Methods  8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /  [electronic resource] : 
edited by Marco Carbone, Jean-Marc Petit. 
 - 1st ed. 2012. 
 - IX, 143 p.  online resource. 
 - Programming and Software Engineering,  7176  2945-9168 ; .
 - Programming and Software Engineering,  7176 .
<br/><br/> This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods. 
<br/><br/><label>ISBN: </label>9783642298349 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-29834-9  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Application software.<br/>Software engineering.<br/>Electronic data processing--Management.<br/>Information storage and retrieval systems.<br/>User interfaces (Computer systems).<br/>Human-computer interaction.<br/>Computer and Information Systems Applications.<br/>Software Engineering.<br/>IT Operations.<br/>Information Storage and Retrieval.<br/>User Interfaces and Human Computer Interaction.
<br/><br/><label>LC Class. No.: </label>QA76.76.A65 
<br/><br/><label>Dewey Class. No.: </label>005.3