|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 1st ed. 2019)
Loot Price: R1,767
Discovery Miles 17 670
|
|
|
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 1st ed. 2019)
Series: Programming and Software Engineering, 11430
Expected to ship within 10 - 15 working days
|
This volume contains lectures on leading-edge research in methods
and tools for use in computer system engineering; at the 4th
International School on Engineering Trustworthy Software Systems,
SETSS 2018, held in April 2018 at Southwest University in
Chongqing, China. The five chapters in this volume provide an
overview of research in the frontier of theories, methods, and
tools for software modelling, design, and verification. The topics
covered in these chapter include Software Verification with Whiley,
Learning Buchi Automata and Its Applications, Security in IoT
Applications, Programming in Z3, and The Impact of Alan Turing:
Formal Methods and Beyond. The volume provides a useful resource
for postgraduate students, researchers, academics, and engineers in
industry, who are interested in theory, methods, and tools for the
development of trustworthy software.
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..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
