Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 44.13
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
£ 42.58
Convert currencyQuantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 44.12
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
£ 65.95
Convert currencyQuantity: 2 available
Add to basketPaperback. Condition: Brand New. 340 pages. 9.25x6.10x0.77 inches. In Stock.
Published by Springer International Publishing, Springer International Publishing Okt 2015, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
£ 45.72
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. 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.
Published by Springer International Publishing, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 45.72
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. 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.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 282.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 117.99
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
£ 110
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer International Publishing Okt 2015, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
£ 45.72
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. 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.
Published by Springer International Publishing, 2015
ISBN 10: 3319259415 ISBN 13: 9783319259413
Language: English
Seller: moluna, Greven, Germany
£ 41.51
Convert currencyQuantity: Over 20 available
Add to basketKartoniert / 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.
Seller: Majestic Books, Hounslow, United Kingdom
£ 111.72
Convert currencyQuantity: 4 available
Add to basketCondition: New. Print on Demand pp. 282.
Seller: Biblios, Frankfurt am main, HESSE, Germany
£ 124.96
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 282.