Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Price: 83.32 USD
Availability: InStock
ISBN: 9783031773822

E-kniha

83,32 USD bez DPH

Vy aj váš známy dostanete body.

Stiahnutie ihneď po zaplatení, opakované stiahnutie z účtu bez obmedzenia.

Spustením sťahovania súhlasíte so zánikom práva na odstúpenie od zmluvy, lebo obsah sa dodáva naraz.

O titule

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.

The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.

Podrobnosti

Vydavateľ: Springer Nature Switzerland
Jazyk: EN
Formát: PDF
Vydané: 2024-11-25
ISBN: 9783031773822
Ochrana súboru: Vodoznak — otvorí sa v každej čítačke, bez ďalšieho účtu