Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, July 2020
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustw... Full description
? points 146 b
60.29 €
In stock Immediate digital delivery

You might also be interested in

Digital Synthesizers and Transmitters for Software Radio Jouko Vankka / Book Hardback
common.buy 154.13 €
Local Glories Ann Satterthwaite / E-book Adobe ePub DRM
common.buy 33.53 €
Ollie and the Magic Workshop Alison Knowles / E-book Adobe ePub DRM
common.buy 20.09 €
Impressionism / Book Paperback
common.buy 14.43 €

This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K - A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Engineering Trustworthy Software Systems
Author Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2020
EAN 9783030550899
Libristo code 49466396
Publishers Springer

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?