Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 61.58
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 59.19
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 59.98
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Springer International Publishing, Springer International Publishing Okt 2015, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer International Publishing, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Seller: Revaluation Books, Exeter, United Kingdom
US$ 91.91
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 152.89
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 141.79
Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer International Publishing Okt 2015, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 340 pp. Englisch.
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
Taschenbuch. Condition: 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 | 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 Print on Demand.