Catálogo de publicaciones - libros
Título de Acceso Abierto
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, 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
Computer science; Computer logic; Software engineering; Artificial intelligence; Mathematical logic; Algorithms; Computer simulation
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Reino Unido
