NISMO

Engineering Trustworthy Software Systems : 5th International School, Setss 20...

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

Engineering Trustworthy Software Systems : 5th International School, Setss 20...

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

Recommended

Liu - Engineering Trustworthy Software Systems   First International S - N555z
Liu - Engineering Trustworthy Software Systems First International S - N555z

$81.25

View Details
Engineering Trustworthy Software Systems: First International School, SETSS 2014
Engineering Trustworthy Software Systems: First International School, SETSS 2014

$77.04

View Details
Moore - Trustworthy Communications and Complete Genealogies   Unifyin - S9000z
Moore - Trustworthy Communications and Complete Genealogies Unifyin - S9000z

$57.29

View Details
Engineering Trustworthy Software Systems: First International School, SETSS 2014
Engineering Trustworthy Software Systems: First International School, SETSS 2014

$159.33

View Details
Trustworthy AI: From Theory to Practice by Murat Kuzlu Paperback Book
Trustworthy AI: From Theory to Practice by Murat Kuzlu Paperback Book

$34.99

View Details
Engine Replacement for Select Models - Heat Resistant & Trustworthy Design
Engine Replacement for Select Models - Heat Resistant & Trustworthy Design

$129.81

View Details
Engineering Trustworthy Software Systems : 4th International School, Setss 20...
Engineering Trustworthy Software Systems : 4th International School, Setss 20...

$76.46

View Details
Engineering Trustworthy Systems by O. Sami Saydjari
Engineering Trustworthy Systems by O. Sami Saydjari

$40.00

View Details
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019,
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019,

$66.79

View Details
Practicing Trustworthy Machine Learning: Consistent, Transparent, and Fai - GOOD
Practicing Trustworthy Machine Learning: Consistent, Transparent, and Fai - GOOD

$57.27

View Details