Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings - Borger, Egon 1946-; Butler, Michael 1967-; Bowen, Jonathan Peter 1956-; Boca, Paul; ABZ (Conference) 2008 : London, UK) (Berlín : Springer, 2008)
Keywords: TEORIA DE LAS MAQUINAS -- CONGRESOS; TEORIA DEL APRENDIZAJE COMPUTACIONAL; MÉTODO B (COMPUTADORAS); Z (LENGUAJE DE PROGRAMACION) -- CONGRESOS