Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /

Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /

Detalles Bibliográficos
Autor Corporativo: ABZ (Conference)
Otros Autores: Frappier, Marc 1965- (Editor/a), Glässer, Uwe 1959- (Editor/a), Khurshid, Sarfraz (Editor/a), Laleau, Régine (Editor/a), Reeves, Steven Victor 1957- (Editor/a)
Formato: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Berlín : Springer, c2010.
Colección:Lecture notes in computer science 5977
Materias:
TEORIA DE LAS MAQUINAS > CONGRESOS
APRENDIZAJE POR MAQUINAS > CONGRESOS
MÉTODO B (COMPUTADORAS)
Z (LENGUAJE DE PROGRAMACION) > CONGRESOS
Acceso en línea:Ver documento en línea
Descripción
Descripción Física:1 recurso en línea (xiv, 416 páginas) : ilustraciones en blanco y negro, archivo de texto, PDF.
ISBN:9783642118111
Acceso:Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional

Ejemplares similares