Asset Details
MbrlCatalogueTitleDetail
Do you wish to reserve the book?
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
by
SETSS (International school) (4th : 2018 : Chongqing, China)
, Bowen, J. P. (Jonathan Peter), 1956- editor
, Liu, Zhiming, 1961- editor
, Zhang, Zili (Senior lecturer), editor
in
Software engineering Congresses.
/ Computer software Congresses.
/ Computer security Congresses.
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
You are currently in the queue to collect this book. You will be notified once it is your turn to collect the book.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
by
SETSS (International school) (4th : 2018 : Chongqing, China)
, Bowen, J. P. (Jonathan Peter), 1956- editor
, Liu, Zhiming, 1961- editor
, Zhang, Zili (Senior lecturer), editor
in
Software engineering Congresses.
/ Computer software Congresses.
/ Computer security Congresses.
Oops! Something went wrong.
While trying to remove the title from your shelf something went wrong :( Kindly try again later!
Do you wish to request the book?
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
by
SETSS (International school) (4th : 2018 : Chongqing, China)
, Bowen, J. P. (Jonathan Peter), 1956- editor
, Liu, Zhiming, 1961- editor
, Zhang, Zili (Senior lecturer), editor
in
Software engineering Congresses.
/ Computer software Congresses.
/ Computer security Congresses.
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Book
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Available to read in the library!
Request Book From Autostore
and Choose the Collection Method
Overview
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 Büchi 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, resarchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
Publisher
Springer
Subject
ISBN
9783030176006, 3030176002
Item info:
1
item available
1
item total in all locations
| Call Number | Copies | Material | Location |
|---|---|---|---|
| QA76.758.S48 2018 | 1 | BOOK | AUTOSTORE |
This website uses cookies to ensure you get the best experience on our website.