Catálogo de publicaciones - libros

Compartir en
redes sociales


Título de Acceso Abierto

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 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

architecture verification; artificial intelligence; automata theory; computer programming; distributed computer systems; distributed systems; embedded systems; formal languages; formal logic; formal methods; model checking; software architecture; software design; software engineering; software quality; temporal logic; verification techniques

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