Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /

Selección de ponencias de la décima primera Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, celebrada en Madrid, España, en septiembre de 2013. Los artículos dan cuenta de los temas presentados en cinco talleres: el segundo Taller Internacional sobre Tipos de Comportamient...

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	International Conference on Software Engineering and Formal Methods ( Madrid, España)
مؤلفون آخرون:	Counsell, Steve (edición) (edición), Núñez, Manuel (edición) (edición)
التنسيق:	وقائع المؤتمر كتاب
اللغة:	الإنجليزية
منشور في:	Cham, Suiza : Springer, 2014, c2014
سلاسل:	(Lecture Notes in Computer Science ; 8368)
الموضوعات:	Código Abierto (Software) Compiladores (Software) Intérpretes (Software) Paquetes (Software) - > Prueba y Medición Programación Estructurada (Software) Programación Funcional (Software) Programación Lógica (Software) Lenguajes de Programación Lenguajes Formales Programación (Software) - > Tema Principal Ingeniería de Software - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional
الوصول للمادة أونلاين:	Ver documento en línea
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!