Catálogo de publicaciones - libros

Compartir en
redes sociales

Título de Acceso Abierto

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, 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; Special Purpose and Application-Based Systems; Computer System Implementation; Control Structures and Microprogramming; Mathematics of Computing; open access; specification and verification techniques; software and hardware verification; SAT and SMT solving; theorem proving; model checking; static and dynamic program analysis; testing; system construction and transformation techniques; tool environments and tool architectures; abstraction techniques for modeling and verification; compositional and refinement-based methodologies; mathematics; software engineering; software design; architecting; software architecture; embedded systems; automata theory; linguistics; Computer science; Mathematical theory of computation; Expert systems / knowledge-based systems; Systems analysis & design; Algorithms & data structures; Maths for computer scientists