Autorenfreundlich Bücher kaufen?!
Beschreibung
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 27. November 2025 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 406 Gramm |
| Format | Softcover |
| ISBN-13 | 9783032120854 |
| Seiten | 243 |
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
