Skip recommendations
Mostrando 1 - 9 Resultados de 9 Para Buscar 'Butler, Michael', tiempo de consulta: 0.04s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Theoretical cybersecurity : principles and advanced concepts /
    por Oakley, Jacob G.
    Publicado 2022
    Otros Autores: “…Butler, Michael…”
    Texto completo (Requiere registro previo con correo institucional)
    Electrónico eBook
  2. 2
    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…”
    Texto Completo
    Electrónico eBook
  3. 3
    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
    Publicado 2015
    Otros Autores: “…Butler, Michael…”
    Texto Completo
    Electrónico eBook
  4. 4
    Towards Marine Ecosystem-Based Management in the Wider Caribbean /
    Publicado 2012
    Texto completo
    Electrónico eBook
  5. 5
    FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /
    Publicado 2011
    Otros Autores: “…Butler, Michael…”
    Texto Completo
    Electrónico eBook
  6. 6
    Methods, Models and Tools for Fault Tolerance
    Publicado 2009
    Otros Autores: “…Butler, Michael…”
    Texto Completo
    Electrónico eBook
  7. 7
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Publicado 2008
    Otros Autores:
    Texto Completo
    Electrónico eBook
  8. 8
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings /
    Publicado 2007
    Otros Autores: “…Butler, Michael…”
    Texto Completo
    Electrónico eBook
  9. 9
    Rigorous Development of Complex Fault-Tolerant Systems
    Publicado 2006
    Otros Autores: “…Butler, Michael…”
    Texto Completo
    Electrónico eBook