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

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