Catálogo de publicaciones - libros

Compartir en
redes sociales


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 I

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; Logic in AI; Information Systems and Communication Service; Computer Engineering and Networks; architecture verification and validation; artificial intelligence; automata theory; computer networks; embedded systems; formal languages; formal logic; linguistics; mathematics; model checking; model-checking; SAT and SMT solving; signal processing; software and hardware verification; software architecture; software engineering; specification and verification techniques; static and dynamic program analysis; system construction and transforamtion techniques; theorem-proving; 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 acceso abierto

Información

Tipo de recurso:

libros

País de edición

Reino Unido