5 Ebooks door Elena Troubitsyna
Michael Butler & Cliff Jones: Rigorous Development of Complex Fault-Tolerant Systems
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the co …
PDF
Engels
DRM
€57.99
Michael Butler & Cliff B. Jones: Methods, Models and Tools for Fault Tolerance
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, hig …
PDF
Engels
DRM
€57.42
Friedemann Bitsch & Ilir Gashi: Computer Safety, Reliability, and Security
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, …
EPUB
Engels
DRM
€76.87
Friedemann Bitsch & Alexander Romanovsky: Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 sho …
EPUB
Engels
DRM
€63.79
Brijesh Dongol & Elena Troubitsyna: Integrated Formal Methods
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 shor …
EPUB
Engels
DRM
€57.05
