Cantitate/Preț
Produs
Total produse
Vezi coșul
Engineering Trustworthy Software Systems de Jonathan P. Bowen

Engineering Trustworthy Software Systems: Lecture Notes in Computer Science, cartea 12154

Editat de Jonathan P. Bowen, Zhiming Liu, Zili Zhang
en Limba Engleză Paperback – aug 2020
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (4) 31910 lei  6-8 săpt.
  Springer – 13 noi 2018 31910 lei  6-8 săpt.
  Springer – aug 2020 31910 lei  6-8 săpt.
  Springer – 6 apr 2017 32093 lei  6-8 săpt.
  Springer – 14 apr 2019 37479 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 31910 lei

Preț vechi: 39888 lei
-20%

Puncte Express: 479
Preț estimativ în valută:
5643€ • 6470$ • 4877£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030550882
ISBN-10: 3030550885
Pagini: 240
Ilustrații: XVII, 221 p. 242 illus., 9 illus. in color.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:1st ed. 2020
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.

Notă biografică


Textul de pe ultima copertă

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 chapters 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.

Caracteristici

Leading-edge research in methods and tools for use in computer system engineering State-of-the-art software engineering methods and technology advances from experts in the field Written by experts