Correct software web applications (9 Ergebnisse)
Sprache: Englisch
Verlag: Cham, Springer. 2015
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , DeutschlandUniversitätsbuchhandlung Herta Hold GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 12,00
EUR 30,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
ix, 332 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Sprache: Englisch
Verlag: Springer 2016
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,65
EUR 13,89 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2015
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,65
EUR 13,89 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer Verlag 2016
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,76
EUR 14,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 346 pages. 9.25x6.10x0.82 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc 2015
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Hardcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,82
EUR 14,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 2015 edition. 348 pages. 9.25x6.10x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing 2016
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,64 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 n…eeds 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.
Sprache: Englisch
Verlag: Springer, Springer International Publishing 2015
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,44 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: 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.
Sprache: Englisch
Verlag: Springer 2016
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer 2015
Serie: Texts & Monographs in Symbolic Computation, Buch 8 von 13. Buch 8 von 13 - Texts & Monographs in Symbolic Computation
- Hardcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 40,00
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 348 | Sprache: Englisch | Produktart: Bücher | 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.
