Autor Wijs, Anton
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / Salaün, Gwen ; Wijs, Anton
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
