Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Paperback, 1st ed. 2015)
Loot Price: R2,554
Discovery Miles 25 540
|
|
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Paperback, 1st ed. 2015)
Series: Programming and Software Engineering, 9409
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.