Catálogo de publicaciones - libros

Compartir en
redes sociales


Título de Acceso Abierto

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Parte de: Lecture Notes in Computer Science

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

architecting; architecture verification and validation; artificial intelligence; computer programming; computer science; computer systems; distributed computer systems; distributed systems; embedded systems; formal logic; mathematics; model checking; programming languages; software architecture; software design; software engineering; software quality; theoretical computer science; verification; verification and validation

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