Stock image for illustration purposes only - book cover, edition or condition may vary.
Engineering Trustworthy Software Systems
. Ed(S): Liu, Zhiming; Zhang, Zili
€ 64.31
FREE Delivery in Ireland
Description for Engineering Trustworthy Software Systems
Paperback. Editor(s): Liu, Zhiming; Zhang, Zili. Num Pages: 336 pages, 141 colour illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 522.
This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.
The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object ... Read moreProduct Details
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
336
Condition
New
Number of Pages
325
Place of Publication
Cham, Switzerland
ISBN
9783319296272
SKU
V9783319296272
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Engineering Trustworthy Software Systems