Título :	Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Tipo de documento:	documento electrónico
Autores:	Sun, Jing, ; Sun, Meng,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XXII, 474 p. 115 ilustraciones
ISBN/ISSN/DL:	978-3-030-02450-5
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  Computadoras digitales electrónicas  Ordenadores  Profesiones  Teoría de las máquinas  Computadoras  Propósitos especiales  Lógica informática y fundamentos de la programación  Rendimiento y evaluación del sistema  La profesión informática  Lenguajes formales y teoría de los autómatas  Sistemas de propósito especial y basados ​​en aplicaciones
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2018, celebrada en Gold Coast, QLD, Australia, en noviembre de 2018. Los 22 artículos completos revisados ​​presentados junto con 14 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 66 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos formales de ingeniería, como la verificación; sistemas de red; teoría de tipos; demostración de teoremas; lógica y semántica; sistemas de refinamiento y transición; y aplicaciones emergentes de métodos formales.
Nota de contenido:	Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
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

Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings [documento electrónico] / Sun, Jing, ; Sun, Meng,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XXII, 474 p. 115 ilustraciones.
ISBN : 978-3-030-02450-5
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  Computadoras digitales electrónicas  Ordenadores  Profesiones  Teoría de las máquinas  Computadoras  Propósitos especiales  Lógica informática y fundamentos de la programación  Rendimiento y evaluación del sistema  La profesión informática  Lenguajes formales y teoría de los autómatas  Sistemas de propósito especial y basados ​​en aplicaciones
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2018, celebrada en Gold Coast, QLD, Australia, en noviembre de 2018. Los 22 artículos completos revisados ​​presentados junto con 14 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 66 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos formales de ingeniería, como la verificación; sistemas de red; teoría de tipos; demostración de teoremas; lógica y semántica; sistemas de refinamiento y transición; y aplicaciones emergentes de métodos formales.
Nota de contenido:	Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
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