|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Paperback, 1st ed. 2017)
Loot Price: R2,089
Discovery Miles 20 890
|
|
|
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Paperback, 1st ed. 2017)
Series: Lecture Notes in Computer Science, 10215
Expected to ship within 18 - 22 working days
|
This volume contains a record of some of the lectures and seminars
delivered at the Second International School on Engineering
Trustworthy Software Systems (SETSS 2016), held in March/April 2016
at Southwest University in Chongqing, China. The six contributions
included in this volume provide an overview of leading-edge
research in methods and tools for use in computer system
engineering. They have been distilled from six courses and two
seminars on topics such as: modelling and verification in event-B;
parallel programming today; runtime verification; Java in the
safety-critical domain; semantics of reactive systems;
parameterized unit testing; formal reasoning about infinite data
values; and Alan Turing and his remarkable achievements. 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.
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
