Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Price: 76.37 USD
Availability: InStock
ISBN: 9783031781162

E-kniha

76,37 US$ bez DPH

Vy i váš známý dostanete body.

Stažení ihned po zaplacení, opakované stažení z účtu bez omezení.

Spuštěním stahování souhlasíte se zánikem práva na odstoupení od smlouvy, protože se obsah dodává najednou.

O titulu

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

Nakladatel: Springer Nature Switzerland
Jazyk: EN
Formát: PDF
Vydáno: 2024-11-28
ISBN: 9783031781162
Ochrana souboru: Vodoznak — otevře se v každé čtečce, bez dalšího účtu