Catálogo de publicaciones - libros
Título de Acceso Abierto
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Parte de: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Theory of Computation; Computer Systems Organization and Communication Networks; Control Structures and Microprogramming; Software Engineering; Computer Engineering and Networks; architecture verification and validation; automata theory; computer systems; distributed computer systems; embedded systems; formal logic; mathematics; model checking; model-checking; parallel processing systems; SAT and SMT solving; software architecture; static and dynamic program analysis; theorem-proving; verification and validation; Computer science; Mathematical theory of computation; Computer networking & communications; Algorithms & data structures
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Reino Unido
