Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Detalles Bibliográficos
Autor Corporativo: ABZ (Conference)
Otros Autores: Borger, Egon 1946- (Editor/a), Butler, Michael 1967- (Editor/a), Bowen, Jonathan Peter 1956- (Editor/a), Boca, Paul (Editor/a)
Formato: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Berlín : Springer, c2008.
Colección:Lecture notes in computer science 5238
Materias:
TEORIA DE LAS MAQUINAS > CONGRESOS
TEORIA DEL APRENDIZAJE COMPUTACIONAL
MÉTODO B (COMPUTADORAS)
Z (LENGUAJE DE PROGRAMACION) > CONGRESOS
Acceso en línea:Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de Universidad de Costa Rica
Número de Clasificación: 004
Copia Disponible

Ejemplares similares