Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /

Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temática...

תיאור מלא

מידע ביבליוגרפי

מחבר תאגידי:	International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia)
מחברים אחרים:	Margaria, Tiziana (edición) (edición), Steffen, Bernhard (edición) (edición)
פורמט:	Procedimiento de la conferencia ספר
שפה:	אנגלית
יצא לאור:	Cham, Suiza : Springer, 2014, c2014
סדרה:	(Lecture Notes in Computer Science ; 8802)
נושאים:	Compiladores (Software) Complejidad Computacional Agentes Inteligentes (Software) Aprendizaje Automático (Inteligencia Artificial) - > Tema Principal Sistemas Expertos - > Prueba y Medición Paquetes (Software) - > Prueba y Medición Arquitectura de Software - > Prueba y Medición Programación (Software) Ingeniería de Software Desarrollo de Sistemas - > Congresos - > Tema Principal Inteligencia Artificial Autómatas Matemáticos - > Teoría - > Tema Principal Sistemas Computacionales Ingeniería Computacional
גישה מקוונת:	Ver documento en línea
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!