Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030550882
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Futuristic Trends in Intelligent Manufacturing

$139.00

European Economic Integration

$84.99

Ecosystem Services and Management Strategy in China

$109.99

Spezielle Relativittstheorie

$34.99

Inverse Problems and Related Topics

$169.99

Privacy Technologies and Policy

$54.99

The Standard Model and Beyond

$169.99

The Political Economy of Human Rights Enforcement

$39.99

Experimente im Chemieunterricht Band 2

$59.99

Science of Valuations

$149.00

Computer Graphics for Java Programmers

$89.99

Managing Business Interfaces

$89.00

Soil Erosion and Sediment Flux in Northern Jordan

$84.99

Algorithmen und Datenstrukturen

$59.99

Advances in Antiviral Research

$149.00

Optimization and Inventory Management

$139.99

Probiotics, Prebiotics, Synbiotics, and Postbiotics

$219.00

Concert of Europe

$74.99

Advances in Knowledge Management

$109.99

Interlinking of Computer Networks

$219.99

Interactions in Soil: Promoting Plant Growth

$109.99

OCasey Annual No. 2

$44.99

Calculus of Variations, Classical and Modern

$49.95

Recent Developments in Nonequilibrium Thermodynamics

$84.99

Solder Joint Technology

$189.00

Magnetresonanzbildgebung

$149.99

Human Centered Design

$109.99

The Palgrave Handbook of Fulfillment, Wellness, and Personal Growth at Work

$189.00

Innate DNA and RNA Recognition

$109.99

Prozeintegriertes Management PIM

$129.00

Fumonisins in Food

$169.99

Wissensbasierte Programmierung von Industrierobotern zum Schutzgasschweien im Stahlhochbau

$59.99

Optimized Bayesian Dynamic Advising

$129.00

Residue Reviews

$84.99

Design of Multi-Bit Delta-Sigma A/D Converters

$129.00

Athletes Human Rights and the Fight Against Doping: A Study of the European Legal Framework

$159.99

Equilibrium Activity Diagrams

$109.99

Requirements Engineering

$39.99

Freundlich, aber bestimmt Die richtigen Worte finden in Gesundheitsberufen

$9.99

The Belt and Road Initiative Green Development Case Studies Report 2020

$59.99