Abstract State Machines, Alloy, B, TLA, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings /

Selección de las ponencias presentadas en la Conferencia ASM que en 2012 se llevó a cabo en el marco de la celebración de los 65 años de vida del especialista en computación alemán Egon Börger, pionero en la aplicación de los métodos formales en la computación y creador del método formal de máquinas...

وصف كامل

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

مؤلفون مشاركون:	International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z ( Pisa, Italia), FM&ABZ
مؤلفون آخرون:	Derrick, John (edición) (edición)
التنسيق:	وقائع المؤتمر كتاب
اللغة:	الإنجليزية
منشور في:	Berlín, Alemania : Springer, 2012, c2012
سلاسل:	(Lecture Notes in Computer Science ; 7316)
الموضوعات:	Estructura de Datos Reconocimiento de Patrones Modelos Predictivos Lenguajes Formales - > Tema Principal Lenguajes de Programación Lógica Formal Diseño Lógico Electrónica - > Matemáticas Navegadores (Ingeniería Computacional) Paquetes (Software) - > Tema Principal Arquitectura de Computadoras Desarrollo de Sistemas Sistemas Computacionales - > Tema Principal Inteligencia Artificial Ingeniería de Software Ingeniería Computacional Börger, Egon - > Tema Principal
الوصول للمادة أونلاين:	Ver documento en línea
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!