Get 40% off of select print and eBooks in Engineering & Materials Science!

Programming and Software Engineering Lect.Notes Computer. Tutorial

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Editors: Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili (Eds.)

Free Preview
  • Written by experts
  • Made for postgraduate students, researchers, academics, and engineers in industry
  • Provides an overview of leading-edge research in methods and tools for use in computer system engineering
see more benefits

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-17601-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-17600-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.

About the authors

Editors: Jonathan P. Bowen, London Southbank University, UK;
Zhiming Liu, Southwest University, Chongqing, China;
Zili Zhang, Southwest University, Chongqing, China

Table of contents (5 chapters)

Table of contents (5 chapters)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-17601-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-17600-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Engineering Trustworthy Software Systems
Book Subtitle
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Editors
  • Jonathan P. Bowen
  • Zhiming Liu
  • Zili Zhang
Series Title
Programming and Software Engineering
Series Volume
11430
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-17601-3
DOI
10.1007/978-3-030-17601-3
Softcover ISBN
978-3-030-17600-6
Edition Number
1
Number of Pages
XVII, 237
Number of Illustrations
472 b/w illustrations, 84 illustrations in colour
Topics