1 option
Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers / edited by Marco Carbone, Jean-Marc Petit.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 7176
- Programming and Software Engineering, 2945-9168 ; 7176
- Language:
- English
- Subjects (All):
- Application software.
- Software engineering.
- Electronic data processing-Management.
- Information storage and retrieval systems.
- User interfaces (Computer systems).
- Human-computer interaction.
- Computer and Information Systems Applications.
- Software Engineering.
- IT Operations.
- Information Storage and Retrieval.
- User Interfaces and Human Computer Interaction.
- Local Subjects:
- Computer and Information Systems Applications.
- Software Engineering.
- IT Operations.
- Information Storage and Retrieval.
- User Interfaces and Human Computer Interaction.
- Physical Description:
- 1 online resource (IX, 143 pages)
- Edition:
- 1st ed. 2012.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
- System Details:
- text file PDF
- Summary:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-29834-9
- 9783642298349
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.