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

Täydet tiedot

Bibliografiset tiedot

Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Bonfanti, Silvia (Toimittaja), Gargantini, Angelo (Toimittaja), Leuschel, Michael (Toimittaja), Riccobene, Elvinia (Toimittaja), Scandurra, Patrizia (Toimittaja)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	englanti
Julkaistu:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Painos:	1st ed. 2024.
Sarja:	Lecture Notes in Computer Science, 14759
Aiheet:	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.
Linkit:	https://doi.org/10.1007/978-3-031-63790-2
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!