Mostrando 1 - 3 Resultados de 3 Para Buscar 'Butler, Michael 1967-', tiempo de consulta: 0.01s Limitar resultados
1
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /
Publicado 2016
Otros Autores: “...Butler, Michael 1967-...”
Ver documento en línea
Procedimiento de la Conferencia Libro
2
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /
Publicado 2018
Otros Autores: “...Butler, Michael 1967-...”
Ver documento en línea
Procedimiento de la Conferencia Artículo
3
Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /
Publicado 2008
Otros Autores: “...Butler, Michael 1967-...”
Ver documento en línea
Procedimiento de la Conferencia Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda