Catálogo de publicaciones - libros
Título de Acceso Abierto
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, 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
Software Engineering; Theory of Computation; Computer Systems Organization and Communication Networks; Artificial Intelligence; Information Systems and Communication Service; Computer Hardware; Computer Engineering and Networks; Database Management System; architecture verification and validation; artificial intelligence; computer hardware; computer networks; computer programming; computer systems; data security; distributed computer systems; embedded systems; formal logic; linguistics; model checking; network protocols; parallel processing systems; signal processing; software architecture; software design; software quality; verification and validation; Open Access; Computer science; Mathematical theory of computation; Computer networking & communications; Artificial intelligence; Computer hardware
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
