Materias dentro de su búsqueda.
Mostrando 1 - 2 Resultados de 2 Para Buscar '"Science ', tiempo de consulta: 0.05s Limitar resultados
1
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 /
Publicado 2014
“...Communications in Computer and Information Science...”
Ver documento en línea
Libro
2
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings /
Publicado 2014
“...Lecture notes in computer science...”
Ver documento en línea
Procedimiento de la Conferencia Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda