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 /
| Otros Autores: | , , , |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer,
c2014.
|
| Colección: | Communications in Computer and Information Science
433 |
| Materias: | |
| Acceso en línea: | Ver documento en línea |
| Descripción Física: | 1 recurso en línea (xii, 159 páginas) : ilustraciones (algunas a color), diagramas (algunos a color), archivo de texto, PDF. |
|---|---|
| ISBN: | 9783319075129 9783319075112 |
| Acceso: | Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional |