{"product_id":"correct-software-in-web-applications-and-web-services-book-bernhard-thalheim-9783319347271","title":"Correct Software in Web Applications and Web Services","description":"The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52456285798673,"sku":"NLS9783319347271","price":44.99,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760960401681,"sku":"NIN9783319347271","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319347271.jpg?v=1785858343","url":"https:\/\/www.worldofbooks.com\/en-gb\/products\/correct-software-in-web-applications-and-web-services-book-bernhard-thalheim-9783319347271","provider":"World of Books ","version":"1.0","type":"link"}