Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /

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 submi...

Olles dieđut

Bibliográfalaš dieđut

Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	C. Nogueira, Sidney (Doaimmaheaddji), Teodorov, Ciprian (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Preanttus:	1st ed. 2025.
Ráidu:	Lecture Notes in Computer Science, 15403
Fáttát:	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.
Liŋkkat:	https://doi.org/10.1007/978-3-031-78116-2
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!