Dependable Software Engineering: Theories, Tools, And Applications: First International Symposium, Setta 2015, Nanjing, China, Novem by Xuandong LiDependable Software Engineering: Theories, Tools, And Applications: First International Symposium, Setta 2015, Nanjing, China, Novem by Xuandong Li

Dependable Software Engineering: Theories, Tools, And Applications: First International Symposium…

byXuandong LiEditorZhiming Liu, Wang Yi

Paperback | October 27, 2015

Pricing and Purchase Info

$72.33 online 
$82.95 list price save 12%
Earn 362 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.

Title:Dependable Software Engineering: Theories, Tools, And Applications: First International Symposium…Format:PaperbackDimensions:317 pagesPublished:October 27, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319259415

ISBN - 13:9783319259413

Look for similar items by category:

Reviews