Imagen de Portada

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bonfanti, Silvia (Editor), Gargantini, Angelo (Editor), Leuschel, Michael (Editor), Riccobene, Elvinia (Editor), Scandurra, Patrizia (Editor)
Formato: Electrónico eBook
Lenguaje:inglés
Publicado: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edición:1st ed. 2024.
Colección:Lecture Notes in Computer Science, 14759
Materias:
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.
Acceso en línea:https://doi.org/10.1007/978-3-031-63790-2
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción
Sumario: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 topical sections as follows: research papers; short research papers; case study; doctoral symposium.
Descripción Física:XV, 398 p. 137 illus., 101 illus. in color. online resource.
ISBN:9783031637902
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-63790-2

Ejemplares similares