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 11.49 €
phone Contact phoneHow to shop

Engineering Trustworthy Software Systems

Language EnglishEnglish
Book Paperback
Book Engineering Trustworthy Software Systems Zhiming Liu
Libristo code: 33036553
Publishers Springer Nature Switzerland AG, August 2020
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustw... Full description
? points 122 b
50.62 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

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 Zhiming Liu, Zili Zhang
Language English
Binding Book - Paperback
Date of issue 2020
Number of pages 221
EAN 9783030550882
ISBN 3030550885
Libristo code 33036553
Publishers Springer Nature Switzerland AG
Weight 373
Dimensions 155 x 235 x 14

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer networking & communications
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?