Chargement en cours…

Correct Software in Web Applications and Web Services

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 under...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Thalheim, Bernhard (Éditeur intellectuel), Schewe, Klaus-Dieter (Éditeur intellectuel), Prinz, Andreas (Éditeur intellectuel), Buchberger, Bruno (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:1st ed. 2015.
Collection:Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
Sujets:
Accès en ligne:Texto Completo