Correct Software in Web Applications and Web Services
Author:   Bernhard Thalheim ,  Klaus-Dieter Schewe ,  Andreas Prinz ,  Bruno Buchberger
Publisher:   Springer International Publishing AG
Edition:   2015 ed.
ISBN:  

9783319171111


Pages:   332
Publication Date:   25 June 2015
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Correct Software in Web Applications and Web Services


Add your own review!

Overview

Full Product Details

Author:   Bernhard Thalheim ,  Klaus-Dieter Schewe ,  Andreas Prinz ,  Bruno Buchberger
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2015 ed.
Dimensions:   Width: 15.50cm , Height: 2.10cm , Length: 23.50cm
Weight:   6.447kg
ISBN:  

9783319171111


ISBN 10:   3319171119
Pages:   332
Publication Date:   25 June 2015
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution.- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.- A Formal Model of Client-Cloud Interaction.- W*H: The Conceptual Model for Services.- Monitoring of Client-Cloud Interaction.- Formal Reliability Models for Web Services.- What Constitutes a Service on the Web?.- Co-Design of Web Information Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now