Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 29. November 2024 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 347 Gramm |
| Format | Softcover |
| ISBN-13 | 9783031781155 |
| Seiten | 205 |
Schlagwörter
Computer Communication Networks, Künstliche Intelligenz, Logic in AI, Natural Language Processing (NLP), Natürliche Sprachen und maschinelle Übersetzung, Netzwerk-Hardware, Software Engineering, Special Purpose and Application-Based Systems, Theoretische Informatik, Theory of Computation, Wissensbasierte Systeme - Expertensysteme
Herstellerinformationen
Bekannt durch
