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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Probability Towards 2000

$109.99

Social Networks and the Life Course

$149.00

Kramers-Kronig Relations in Optical Materials Research

$179.99

Molten Salt Techniques

$249.99

Policy Learning and the Euro

$39.99

10th International Conference on Automated Deduction

$119.00

Biological Invasions in the South American Anthropocene

$169.99

Critical Ethology and Post-Anthropocentric Ethics

$109.99

Messen, Steuern, Regeln fr Maschinenbauer

$54.99

Echtzeitkommunikation und Ethernet/Internet

$69.99

Guided Reading Level G Pack 2

$63.00

Strahlenbiologie / Radiation Biology

$54.99

Was passiert beim Schulessen?

$49.99

Kriechen und Flieen hochzher und plastischer Stoffe. Wege und Ziele der Festigkeitsforschung, insb

$59.99

Vermittlung und Alteritt

$44.99

Projektleitfaden Internet-Praxis

$59.99

Data Communications and their Performance

$219.99

Der brave Soldat vejk im Nahen Osten

$69.99

Intelligent Robotics and Applications

$129.99

Conservation Agriculture

$219.99

Representations of Algebras

$159.99

Evolution in Signal Processing and Telecommunication Networks

$299.99

Adaptive Behavior Strategies for Individuals with Intellectual and Developmental Disabilities

$159.99

The Justification of Religious Belief

$39.99

Working-Class Environmentalism

$29.99

Managing Service Productivity

$169.99

Die Entwickelung der Schiffsmaschine in den letzten Jahrzehnten

$54.99

Grundlagen der Grenzschicht-Meteorologie

$64.99

Algorithms and Models for the Web-Graph

$39.99

Psychological Perspectives on Childcare in Indian Indigenous Health Systems

$54.99

Demographische Trends, Bevlkerungswissenschaft und Politikberatung

$59.99

Encyklopdie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen

$49.99

Methodological Issues in Applied Social Psychology

$169.99

The Immediacy of Mystical Experience in the European Tradition

$129.99

Zur Dauerfestigkeit von Beton unter besonderer Bercksichtigung der durch Temperatur und Verkehrslas

$59.99

Die Behandlung der Rheumatoiden Arthritis mit D-Penicillamin

$59.99

Learning Portuguese as a Second Language

$54.99

Algorithms and Data Structures

$39.99

Consciousness-Based Leadership and Management, Volume 1

$139.00

Researching European Security Integration

$109.99