Dependable Software Engineering: Theories, Tools, and Applications
. Ed(s): Liu, Zhiming; Yi, Wang; Li, Xuandong
ISBN 10: 3319259415 ISBN 13: 9783319259413
Verlag: Springer International Publishing AG, 2015
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Editor(s): Liu, Zhiming; Yi, Wang; Li, Xuandong. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 86 black & white illustrations, biography. BIC Classification: UGK; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522. . 2015. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783319259413
Inhaltsangabe:
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Dependable Software Engineering: Theories, ...
Verlag: Springer International Publishing AG
Erscheinungsdatum: 2015
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Dependable Software Engineering: Theories, Tools, and Applications
ISBN 10: 3319259415
ISBN 13: 9783319259413
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. Artikel-Nr. 9783319259413
Neu kaufen
EUR 51,36
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Verlag:
Springer International Publishing, 2015
ISBN 10: 3319259415
ISBN 13: 9783319259413
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 9783319259413
Neu kaufen
EUR 51,36
EUR 62,59 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Dependable Software Engineering: Theories, Tools, and Applications; First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock. Artikel-Nr. x-3319259415
Neu kaufen
EUR 78,93
EUR 40,40 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar