Formal Methods: Foundations and Applications | 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings. Cet article n’est pas disponible.
Langue : anglais
Edité par Springer, 2024
- Livre broché
- Neuf

Vendeur : preigu, Osnabrück, Allemagnepreigu
Vendeur AbeBooks depuis 5 août 2024
Etat: Neuf
EUR 64,10
A propos de cet article
Formal Methods: Foundations and Applications | 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings | Sidney C. Nogueira (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2024 | Springer | EAN 9783031781155 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
N° de réf. du vendeur 130576831
- Titre
- Formal Methods: Foundations and Applications | 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
- Auteur
- Sidney C. Nogueira (u. a.)
- Éditeur
- Springer
- Année de publication
- 2024
- État de l'article
- Neu
- Reliure
- Taschenbuch
- Langue
- anglais
- ISBN à 10 chiffres
- 3031781155
- ISBN à 13 chiffres
- 9783031781155
- Poids de l'article
- 347 grammes
- Dimensions
- 235 x 155 x 13 mm
- Catalogues du vendeur
- Bücher
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.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de la quatrième de couverture
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.