Título :	32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Tipo de documento:	documento electrónico
Autores:	Lahiri, Shuvendu K., ; Wang, Chao,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-53288-8
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Ingeniería de software  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Inteligencia artificial  Ordenadores  Teoría de la Computación  Ingeniería Informática y Redes  Redes de comunicación informática  Hardware de la computadora
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ángeles, CA, EE. UU., en julio de 2020.* Los 43 artículos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artículos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas híbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y síntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19.
Nota de contenido:	AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color.
ISBN : 978-3-030-53288-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ingeniería de software  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Inteligencia artificial  Ordenadores  Teoría de la Computación  Ingeniería Informática y Redes  Redes de comunicación informática  Hardware de la computadora
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ángeles, CA, EE. UU., en julio de 2020.* Los 43 artículos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artículos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas híbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y síntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19.
Nota de contenido:	AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i