Catálogo de publicaciones - libros

Compartir en
redes sociales


Título de Acceso Abierto

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Parte de: Lecture Notes in Computer Science

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

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

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