Stock image for illustration purposes only - book cover, edition or condition may vary.
Dependable Software Engineering: Theories, Tools, and Applications
. Ed(S): Liu, Zhiming; Yi, Wang; Li, Xuandong
€ 64.31
FREE Delivery in Ireland
Description for Dependable Software Engineering: Theories, Tools, and Applications
Paperback. 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.
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.
Product Details
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
336
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
317
Place of Publication
Cham, Switzerland
ISBN
9783319259413
SKU
V9783319259413
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Dependable Software Engineering: Theories, Tools, and Applications