Maxino
🎁 Odporúčať a získať bodyPrihlásiť saKošík
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

E-kniha

76,37 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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

Podrobnosti

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