.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Web Services and Formal Methods
N/A
€ 66.97
FREE Delivery in Ireland
Description for Web Services and Formal Methods
Paperback. This proceedings volume of the 4th International Workshop on Web Services and Formal Methods covers the application of formal methods and reasoning techniques to Web service technology and formal theories inspired by developments in Web services. Series: Lecture Notes in Computer Science. Num Pages: 181 pages, biography. BIC Classification: UDB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 290.
This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed ... Read more
This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
181
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
172
Place of Publication
Berlin, Germany
ISBN
9783540792291
SKU
V9783540792291
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Web Services and Formal Methods