Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 53,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,25
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock.
Taschenbuch. Zustand: Neu. Dependable Software Engineering: Theories, Tools, and Applications | First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings | Xuandong Li (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2015 | Springer | EAN 9783319259413 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.