Isbn: 9783319347271 - correct software in web applications and web services (texts & monographs in symbolic computation) (18 resultados)

Condición: New.

Condición: New.

Condición: New. In English.

PF. Condición: New.

Condición: New.

Condición: New. pp. 332.

Paperback. Condición: Brand New. reprint edition. 346 pages. 9.25x6.10x0.82 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Condición: Neu. Correct Software in Web Applications and Web Services | Bernhard Thalheim (u. a.) | Taschenbuch | Texts & Monographs in Symbolic Computation | xiv | Englisch | 2016 | Springer | EAN 9783319347271 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 348 pp. Englisch. …

Condición: New. Print on Demand pp. 332.

Condición: New. PRINT ON DEMAND pp. 332.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The book identifies correctness problems in web applications and how these can be solved by formalized software engineering methodsNew software tools are presentedThis volume constitutes selected and extended papers of a European Science Fo.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch. …