Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012, proceedings - Derrick, John 1963-; ABZ (Conference) 2012 : Pisa, Italy) (Heidelberg : Springer, 2012)
Keywords: TEORIA DE LAS MAQUINAS -- CONGRESOS; TEORIA DEL APRENDIZAJE COMPUTACIONAL; MÉTODO B (COMPUTADORAS); Z (LENGUAJE DE PROGRAMACION) -- CONGRESOS; INGENIERÍA DE PROGRAMAS PARA COMPUTADORA; LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS)