Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topic...

Celý popis

Podrobná bibliografie

Korporativní autor:	SpringerLink (Online service)
Další autoři:	Bonfanti, Silvia (Editor), Gargantini, Angelo (Editor), Leuschel, Michael (Editor), Riccobene, Elvinia (Editor), Scandurra, Patrizia (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Vydání:	1st ed. 2024.
Edice:	Lecture Notes in Computer Science, 14759
Témata:	Machine theory. Computer engineering. Computer networks . Application software. Logic programming. Compilers (Computer programs). Formal Languages and Automata Theory. Computer Engineering and Networks. Computer and Information Systems Applications. Logic in AI. Compilers and Interpreters.
On-line přístup:	https://doi.org/10.1007/978-3-031-63790-2
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!