Description: Engineering Trustworthy Software Systems : 5th International School, Setss 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures, Paperback by Bowen, Jonathan P. (EDT); Liu, Zhiming (EDT); Zhang, Zili (EDT), ISBN 3030550885, ISBN-13 9783030550882, Brand New, Free shipping in the US 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.
Price: 65.98 USD
Location: Jessup, Maryland
End Time: 2024-11-23T21:01:16.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Engineering Trustworthy Software Systems : 5th International Scho
Number of Pages: Xvii, 221 Pages
Publication Name: Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2020
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Networking / General
Item Weight: 16 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Computers
Author: Zhiming Liu
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
