Tools and Algorithms for the Construction and Analysis of Systems

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 202...

Descripción completa

Detalles Bibliográficos

Formato:	Online
Lenguaje:	inglés
Publicado:	Springer Nature 2024
Materias:	TACAS formal verification software systems hardware systems static analysis probabilistic programming program synthesis oncurrency testing simulations verification of machine thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UK Computer hardware thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
Acceso en línea:	ONIX_20240416_9783031572562_18
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!