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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Thalheim, Bernhard (Editor ), Schewe, Klaus-Dieter (Editor ), Prinz, Andreas (Editor ), Buchberger, Bruno (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Edición: | 1st ed. 2015. |
Colección: | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
Publicado: (2016) -
Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /
Publicado: (2010) -
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /
Publicado: (2014) -
Learning MATLAB A Problem Solving Approach /
por: Gander, Walter
Publicado: (2015) -
Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings /
Publicado: (2005)