Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/354888
Title: Web Services and Formal Methods
Other Titles: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Authors: Carbone, Marco.;Petit, Jean-Marc.
subject: Computer Science;Software Engineering;Information storage and retrieval systems.;Information Systems.;Computer Science;Information Systems Applications (incl. Internet).;Software Engineering.;Management of Computing and Information Systems.;Information;5.7;QA76.76.A65
Year: 2012
place: Berlin, Heidelberg
Publisher: Springer Berlin Heidelberg,
Series/Report no.: Lecture Notes in Computer Science, 0302-9743 7176.
Lecture Notes in Computer Science, 0302-9743 7176.
Abstract: 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.
Description: Printed edition: 9783642298332.
URI: http://46.100.53.162/handle/Ebook/48604
http://localhost/handle/Hannan/354888
Appears in Collections:Computer

Files in This Item:
File Description SizeFormat 
9783642298349.pdf3.1 MBAdobe PDFThumbnail
Preview File
Title: Web Services and Formal Methods
Other Titles: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Authors: Carbone, Marco.;Petit, Jean-Marc.
subject: Computer Science;Software Engineering;Information storage and retrieval systems.;Information Systems.;Computer Science;Information Systems Applications (incl. Internet).;Software Engineering.;Management of Computing and Information Systems.;Information;5.7;QA76.76.A65
Year: 2012
place: Berlin, Heidelberg
Publisher: Springer Berlin Heidelberg,
Series/Report no.: Lecture Notes in Computer Science, 0302-9743 7176.
Lecture Notes in Computer Science, 0302-9743 7176.
Abstract: 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.
Description: Printed edition: 9783642298332.
URI: http://46.100.53.162/handle/Ebook/48604
http://localhost/handle/Hannan/354888
Appears in Collections:Computer

Files in This Item:
File Description SizeFormat 
9783642298349.pdf3.1 MBAdobe PDFThumbnail
Preview File
Title: Web Services and Formal Methods
Other Titles: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Authors: Carbone, Marco.;Petit, Jean-Marc.
subject: Computer Science;Software Engineering;Information storage and retrieval systems.;Information Systems.;Computer Science;Information Systems Applications (incl. Internet).;Software Engineering.;Management of Computing and Information Systems.;Information;5.7;QA76.76.A65
Year: 2012
place: Berlin, Heidelberg
Publisher: Springer Berlin Heidelberg,
Series/Report no.: Lecture Notes in Computer Science, 0302-9743 7176.
Lecture Notes in Computer Science, 0302-9743 7176.
Abstract: 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.
Description: Printed edition: 9783642298332.
URI: http://46.100.53.162/handle/Ebook/48604
http://localhost/handle/Hannan/354888
Appears in Collections:Computer

Files in This Item:
File Description SizeFormat 
9783642298349.pdf3.1 MBAdobe PDFThumbnail
Preview File