Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Paperback, 1st ed. 2016)
Loot Price: R2,488
Discovery Miles 24 880
|
|
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Paperback, 1st ed. 2016)
Series: Programming and Software Engineering, 9506
Expected to ship within 10 - 15 working days
|
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 software, hybrid
systems and cyber-physical systems with challenges of termination,
security, safety, security, fault-tolerance and real-time
requirements. The techniques include model checking, correctness by
construction through refinement and model transformations,
synthesis and computer algebra.
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.