Catálogo de publicaciones - libros

Compartir en
redes sociales

Título de Acceso Abierto

Tools and Algorithms for the Construction and Analysis of Systems: Tools and Algorithms for the Construction and Analysis of Systems

Parte de: Theoretical Computer Science and General Issues

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

state space; semantics; programming languages; program compilers; specifications; formal logic; model checking; multi core processors; computer architecture; formal methods; software engineering; computer software selection and evaluation; model checker; verification