Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Engineering Trustworthy Software Systems

Name: Engineering Trustworthy Software Systems
Brand: Springer
SKU: 49466396
Price: 54.62 EUR
Availability: InStock
Author: Jonathan P. Bowen
ISBN: 9783030550899

5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Springer, julij 2020

This book constitutes the refereed proceedings of the 5th International School on Engineering Trustw... Celoten opis

Koda Libristo: 49466396

132 b

54.62 €

Na zalogi Prenesi zdaj

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.