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

cryptography; privacy; world wide web; semantics; programming languages; formal specification; program compilers; formal logic; computer science; separation logic; formal methods; data privacy; security systems; software engineering; computer software selection and evaluation; internet; verification; authentication