1 option
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 7843.
- Programming and Software Engineering ; 7843
- Language:
- English
- Subjects (All):
- Application software.
- Software engineering.
- Management information systems.
- Computer science.
- Computer logic.
- Programming languages (Electronic computers).
- User interfaces (Computer systems).
- Information Systems Applications (incl. Internet).
- Software Engineering.
- Management of Computing and Information Systems.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- User Interfaces and Human Computer Interaction.
- Local Subjects:
- Information Systems Applications (incl. Internet).
- Software Engineering.
- Management of Computing and Information Systems.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- User Interfaces and Human Computer Interaction.
- Physical Description:
- 1 online resource (X, 151 pages) : 55 illustrations.
- Edition:
- First edition 2013.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
- System Details:
- text file PDF
- Summary:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-38230-7
- 9783642382307
- 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.