Imatge de la portada

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ET...

Descripció completa

Guardat en:
Format: Online
Idioma:anglès
Publicat: Springer Nature 2025
Matèries:
TACAS
formal verification
software systems
hardware systems
static analysis
probabilistic programming
program synthesis
oncurrency
testing
simulations
verification of machine
Accés en línia:ONIX_20250513_9783031906534_15
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars: Tools and Algorithms for the Construction and Analysis of Systems

Ítems similars