Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /

Detalles Bibliográficos
Autor Corporativo: ABZ (Conference)
Otros Autores: Butler, Michael 1967- (Editor/a), Raschke, Alexander (Editor/a), Hoang, Thai Son (Editor/a), Reichl, Klaus (Editor/a)
Formato: Procedimiento de la Conferencia Artículo
Lenguaje:English
Publicado: Cham, Switzerland : Springer, c2018.
Colección:Lecture notes in computer science 10817
Materias:
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)
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