Buchumschlag

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SpringerLink (Online service)
Weitere Verfasser: Barbosa, Haniel (HerausgeberIn), Zohar, Yoni (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Ausgabe:1st ed. 2024.
Schriftenreihe:Lecture Notes in Computer Science, 14414
Schlagworte:
Software engineering.
Natural language processing (Computer science).
Logic programming.
Computer science.
Computers, Special purpose.
Computer networks .
Software Engineering.
Natural Language Processing (NLP).
Logic in AI.
Theory of Computation.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Online-Zugang:https://doi.org/10.1007/978-3-031-49342-3
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
Beschreibung:1 online resource (XXII, 153 p. 39 illus.). 17 illus. in color.
ISBN:9783031493423
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-49342-3

Ähnliche Einträge