Título :	17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Tipo de documento:	documento electrónico
Autores:	Salaün, Gwen, ; Wijs, Anton,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	XII, 175 p. 63 ilustraciones, 21 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-90636-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  Sistemas informáticos  Computadoras  Propósitos especiales  Red de computadoras  Ciencias de la Computación  Microprogramación  Implementación de sistema informático  Sistemas de propósito especial y basados ​​en aplicaciones  Redes de comunicación informática  Lógica informática y fundamentos de la programación  Estructuras de control y microprogramación
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye los artículos seleccionados minuciosamente revisados ​​del 17.º Simposio Internacional, FACS 2021, que se celebró virtualmente en octubre de 2021. Los 7 artículos completos y 1 contribución breve fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones y se presentan en el volumen junto con 1 papel invitado. FACS 2021 se ocupa de cómo se pueden aplicar los métodos formales al desarrollo de sistemas y software basado en componentes. El libro se subdivide en dos bloques: Modelado y Composición y Verificación. El capítulo "Un algoritmo lineal paralelo para calcular la bisimulación y las particiones relacionales más gruesas" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com.
Nota de contenido:	Invited Papers -- Modelling & Composition -- Verification.
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

17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings [documento electrónico] / Salaün, Gwen, ; Wijs, Anton,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 175 p. 63 ilustraciones, 21 ilustraciones en color.
ISBN : 978-3-030-90636-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  Sistemas informáticos  Computadoras  Propósitos especiales  Red de computadoras  Ciencias de la Computación  Microprogramación  Implementación de sistema informático  Sistemas de propósito especial y basados ​​en aplicaciones  Redes de comunicación informática  Lógica informática y fundamentos de la programación  Estructuras de control y microprogramación
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye los artículos seleccionados minuciosamente revisados ​​del 17.º Simposio Internacional, FACS 2021, que se celebró virtualmente en octubre de 2021. Los 7 artículos completos y 1 contribución breve fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones y se presentan en el volumen junto con 1 papel invitado. FACS 2021 se ocupa de cómo se pueden aplicar los métodos formales al desarrollo de sistemas y software basado en componentes. El libro se subdivide en dos bloques: Modelado y Composición y Verificación. El capítulo "Un algoritmo lineal paralelo para calcular la bisimulación y las particiones relacionales más gruesas" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com.
Nota de contenido:	Invited Papers -- Modelling & Composition -- Verification.
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