ABZ 2014 : The Landing gear case study: Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings /

ABZ 2014 : The Landing gear case study: Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings /

Detalles Bibliográficos
Otros Autores: Boniol, Frédéric (Editor/a), Wiels, Virginie (Editor/a), Ait Ameur, Yamine (Editor/a), Schewe, Klaus-Dieter (Editor/a)
Formato: Libro
Lenguaje:English
Publicado: Cham : Springer, c2014.
Colección:Communications in Computer and Information Science 433
Materias:
LÓGICA INFORMÁTICA
LÓGICA, SIMBÓLICA Y MATEMÁTICA
TEORÍA DE LAS MÁQUINAS > SIMULACIÓN POR COMPUTADORA
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: 005.101.511.3
Copia Disponible

Ejemplares similares